Mathematical Formalization Specialist

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, advancing AI reliability, formalization, and high-integrity dataset creation.
Role Overview
We are seeking a mathematician with deep training in rigorous proof construction and hands-on experience with formal proof languages—especially Lean. This role sits at the intersection of mathematics and computer science, focusing on translating human-written mathematical arguments into precise, machine-verifiable formalizations. You will work on proofs that often lie beyond the current capabilities of automated provers, helping us map the frontier of what formal verification can express, capture, and automate.
What You'll Do
Translate informal mathematical proofs into Lean (and related proof systems) with an...