Job Description
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability,...
Apply for this Position
Ready to join Alignerr Corp.? Click the button below to submit your application.
Submit Application