Job Description
A leading AI research firm seeks a Lean 4 Proof Engineer to formalize advanced mathematical proofs for cutting-edge AI research. Ideal candidates should have a master's degree in Mathematics or a related field, experience with Lean, and a passion for formal verification. This role allows you to work...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application