About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians and formal verification specialists to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs — working at the very