Job Description
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr
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, ...
Apply for this Position
Ready to join Alignerr? Click the button below to submit your application.
Submit Application