About The Role

What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced mathematics into machine-verifiable Lean 4 proofs — working at the intersection of rigorous mathematics and cutting-edge AI research.

This is a fully remote, flexible contract role built for mathematicians who live for precision, structural elegance, and the challenge of pushing proof assistants to their limits.

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

What You'll Do

Translate informal mathematical proofs into clean, correct, and well-structured Lean 4 formalizations
Analyze proofs across domains — algebra, analysis, topology, logic, discrete math — to identify gaps, hidden assumptions, and formalizable sub-structures
Construct formalizations that test and map the frontier of what modern proof assistants can express and automate




Investigate where automated provers break down and articulate the underlying reasons — missing lemmas, complexity barriers, insufficient libraries
Develop reproducible, readable proof scripts aligned with mathematical best practices and Lean/Mathlib idioms
Collaborate with researchers to design, refine, and evaluate strategies for improving formal verification pipelines
Create Lean proofs that reveal 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
Possess a robust foundation in rigorous proof construction across areas such as algebra, analysis, topology, logic, or discrete mathematics
Have hands-on experience with Lean (Lean 3 or Lean 4), with Lean 4 strongly preferred; experience with Coq, Isabelle/HOL, or Agda also welcomed
Deeply enthusiastic about formal verification, proof assistants, and the future of mechanized mathematics
Able to transla

📌 Formal Verification Scientist (Mumbai)
🏢 Alignerr
📍 Mumbai