J
POSTED
Jul 8, 2026
About this job
About The Role What if your deepest mathematical instincts could directly shape how AI understands and reasons about formal proof? We’re looking for Formal Verification Scientists to translate complex, human-written mathematics into precise, machine-verifiable Lean proofs — working at the very edge of what proof assistants can express and automate. This is a fully remote, flexible contract role for mathematicians who love rigorous thinking and want their expertise to matter at the frontier of A…
Apply
Hiring process handled by the employer
