This job offer is no longer available
About
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.
Languages
- English
Notice for Users
This job was posted by one of our partners. You can view the original job source here.