This job offer is no longer available
About
For a complete understanding of this opportunity, and what will be required to be a successful applicant, read on.
This remote role focuses on translating informal mathematical proofs into formalizations, requiring a Master's degree and strong experience with Lean and rigorous proof writing.
Candidates will collaborate on advanced AI projects, develop formal proofs, and analyze existing mathematical arguments.
Enjoy competitive pay, flexible work hours, and the opportunity to work on cutting-edge projects in formal verification. 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.