Dieses Stellenangebot ist nicht mehr verfügbar
Über
Considering applying for this job Do not delay, scroll down and make your application as soon as possible to avoid missing out.
This role focuses on writing advanced mathematical proofs in Lean and analyzing proof structures.
Ideal candidates hold a Master’s degree in Mathematics or a related field and possess hands-on experience with proof languages.
Flexible hours and competitive compensation are offered, along with the opportunity to collaborate on cutting-edge AI research. 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.