Formal Verification Scientist (Lean 4 & Mathlib)

About The Role What if your deepest mathematical expertise could directly shape how AI understands and reasons about rigorous proof? We're looking for Formal Verification Scientists to translate advanced human mathematics into machine-verifiable Lean 4 formalizations — working at the exact boundary of what proof assistants can currently express and automate. This is a fully remote, flexible contract role for mathematicians who thrive on precision, structural elegance, and pushing the limits of what formal systems can do. If you find genuine satisfaction in taking a dense, beautiful argument and expressing it in a form a machine can verify — this role was built for you. Organization: Alignerr
Type: Hourly Contract
Location: Remote
Commitment: 10–40 hours/week What You'll Do Translate informal mathematical proofs into Lean 4 with an emphasis on clarity, correctness, and structural integrity
Analyze domain-specific and general proofs to identify gaps, hidden assumptions, and f...