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 tool...
Apply for this Position
Ready to join Labelbox? Click the button below to submit your application.
Submit Application