Alignerr is looking for a Formal Verification Scientist to work on cutting-edge AI projects. You will translate sophisticated mathematical proofs into structured Lean 4 formalizations, working remotely and on your own schedule. The ideal candidate holds a Master's degree or higher in Mathematics or a related field and has hands-on experience with proof assistants like Lean 4. This role offers the opportunity to engage in meaningful work at the forefront of mechanized mathematics. #J-18808-Ljbffr
Remote Lean 4 Formal Verification Scientist
ALIGNERR
council of the city of sydney, council of the city of sydney
Published 4 days ago
Report job
Similar jobs
Part Time Work From Home Focus Group Panelist. Call Centre Agent Experience Not Required
APEX FOCUS GROUP LLC
Permanent