Formal Verification Scientist (Lean 4 & Mathlib)

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 mathematical arguments into machine-verifiable Lean 4 proofs — working at the very frontier of what proof assistants can express, capture, and automate.

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 mathematical arguments into machine-verifiable Lean 4 proofs — working at the very frontier of what proof assistants can express, capture, and automate.
This is a fully remote, flexible contract role built for mathematicians who love rigorous proof construction and want to work on problems that matter. If you find satisfaction in taking a dense, elegant human argument and expressing it in a form...