Lean 4 Proof Engineer — Mathematical Formalization

About The Role

What if your deep mathematical training could directly shape how the world's most advanced AI systems reason about formal logic and proof? We're looking for Lean 4 Proof Engineers to translate complex, human-written mathematical arguments into exact, machine-verifiable formalizations — pushing the boundary of what modern proof assistants can express and automate.

This is a fully remote, flexible contract role built for mathematicians who live at the intersection of rigorous proof construction and formal verification.

Organization: Alignerr
Type: Hourly Contract
Location: Remote
Commitment: 10–40 hours/week

What You'll Do

Translate informal mathematical proofs into Lean 4 (and related systems) with an emphasis on clarity, structure, and correctness
Analyze domain-specific proofs, identifying gaps, hidden assumptions, and formalizable sub-structures
Construct formalizations that stress-test the limits of existing proof assistants — especially where automation breaks down




Collaborate with AI researchers to design, refine, and evaluate formal verification strategies
Develop readable, reproducible proof scripts aligned with best mathematical practices and proof assistant idioms
Provide expert guidance on proof decomposition, lemma selection, and structuring techniques for formal models
Investigate where automated provers fail and articulate why — complexity, missing lemmas, insufficient libraries, and more
Create Lean proofs that surface deeper patterns or generalizations implicit in the original mathematics

Who You Are

Hold a Master's degree or higher in Mathematics, Logic, Theoretical Computer Science, or a closely related field
Have a strong foundation in rigorous proof writing across areas such as algebra, analysis, topology, logic, or discrete math
Have hands-on experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or comparable systems — Lean strongly preferred
Are deeply enthus

📌 Lean 4 Proof Engineer (India)
🏢 Alignerr
📍 India