Lean 4 Proof Engineer — Mathematical Formalization (AI Training)

About The Role

What if your deep mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for Lean 4 Proof Engineers to translate advanced mathematical arguments into machine-verifiable formalizations — working at the absolute frontier of what proof assistants can express, capture, and automate.

This is a fully remote, adaptable contract role for mathematicians who thrive on precision, structural elegance, and the challenge of making rigorous human reasoning legible to a machine.

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 proof systems) with an emphasis on clarity, correctness, and structure
Analyze proofs across domains — algebra, analysis, topology, logic, discrete math — identifying gaps, hidden assumptions, and formalizable substructures
Construct formalizations that test and extend the limits of existing proof assistants,



especially where automation breaks down
Investigate why automated provers fail — complexity barriers, missing lemmas, insufficient libraries — and articulate those failure modes clearly
Develop highly readable, reproducible proof scripts aligned with mathematical best practices and Lean idioms
Collaborate with AI researchers to design and refine strategies for improving formal verification pipelines
Create Lean proofs that reveal deeper patterns or generalizations implicit in the original mathematics
Provide expert guidance on proof decomposition, lemma selection, and structuring techniques for formal models

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 and mathematical reasoning across one or more of: algebra, analysis, topology, logic, or discrete mathematics
Have han

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