Job Description
Overview
Location: Remote. Alignerr partners 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 verifica...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application