Researcher — Lean 4 & Formal Proof Systems (AI Training)

About The Role

What if your deep mathematical training could directly shape how AI reasons about formal proofs — pushing the boundaries of what machines can verify, understand, and learn?

We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical arguments into Lean 4, working on problems that sit beyond the current reach of automated provers. This isn't routine annotation work — it's frontier research at the intersection of mathematics and computer science, contributing directly to the development of cutting-edge AI systems.

This is a fully remote, adaptable contract role. If you find beauty in rigorous proof structure and satisfaction in making a machine understand what only a human mathematician could express, 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 precise,



machine-verifiable Lean 4 formalizations with an emphasis on clarity, correctness, and structure
• Analyze proofs across domains — identifying hidden assumptions, logical gaps, and formalizable sub-structures
• Construct formalizations that stress-test the limits of existing proof assistants, especially where automated tools struggle or fail entirely
• Investigate and articulate why automated provers break down — whether due to complexity, missing lemmas, or insufficient library coverage
• Develop readable, reproducible proof scripts aligned with mathematical best practices and proof assistant idioms
• Collaborate with AI researchers to refine strategies for improving formal verification pipelines
• Provide expert guidance on proof decomposition, lemma selection, and structuring techniques for formal models
• Formalize classical proofs and compare machine-verifiable structures against standard textbook arguments
• Surface deeper patterns or generalizat

📌 Researcher - Lean 4 & Formal Proof Systems (Mumbai)
🏢 Alignerr
📍 Mumbai