Formal Verification Scientist (Lean 4 & Mathlib)

About The Role

What if your deep mathematical training could directly shape how AI systems understand and reason about formal proof? We're looking for Formal Verification Scientists to translate advanced mathematics into machine-verifiable knowledge — working at the frontier of what proof assistants can express, capture, and automate.

This is a fully remote, flexible contract role designed for mathematicians who are passionate about rigorous proof and the future of mechanized mathematics. If you find satisfaction in taking a dense, elegant human argument and expressing it in a form a machine can verify, 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 Lean 4 (and related proof systems) with an emphasis on clarity, structure, and correctness
• Analyze generic and d...

Ready to Apply?

Submit your application today and join our talented team at Alignerr.