Über
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.
Sprachkenntnisse
- English
Hinweis für Nutzer
Dieses Stellenangebot stammt von einer Partnerplattform von TieTalent. Klick auf „Jetzt Bewerben”, um deine Bewerbung direkt auf deren Website einzureichen.