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, flexible 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 solid foundation in rigorous proof writing and mathematical reasoning across one or more of: algebra, analysis, topology, logic, or d

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