Dieses Stellenangebot ist nicht mehr verfügbar
Über
Make sure to apply quickly in order to maximise your chances of being considered for an interview Read the complete job description below.
This fully remote role requires expertise in translating informal proofs into machine-verifiable structures.
The ideal candidate holds a Master's or PhD in Mathematics or a related field and has hands-on experience with Lean 4.
Responsibilities include analyzing proofs, collaborating with AI researchers, and constructing clear proof scripts.
This position offers freelance autonomy with intellectually challenging work. xcfaprz
#J-18808-Ljbffr
Remote working/work at home options are available for this role.
Sprachkenntnisse
- English
Hinweis für Nutzer
Dieses Stellenangebot wurde von einem unserer Partner veröffentlicht. Sie können das Originalangebot einsehen hier.