Job Description
Overview
At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models.
Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification a...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application