Mathematical Formalization Specialist
Mathematical Formalization Specialist (Lean / Formal Proof Systems)About AlignerrAlignerr 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, formalization, and high-integrity dataset creation.Role OverviewWe are seeking a mathematician with deep training in rigorous proof construction…
