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 sophisticated mathematical arguments into machine-verifiable Lean 4 proofs — pushing the boundaries...