Mathematical Formalization Specialist - Remote

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, 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 relat...