Remote Lean 4 Formal Verification Scientist
ARCHIVED
We can't find an active application page for this role right now. It may reopen or be listed elsewhere. Use Next Steps to search for an active apply link and similar live jobs.
A leading AI research partner is seeking experienced mathematicians to translate human-written mathematical arguments into formal verifications. The role requires a strong background in rigorous proof writing, along with hands-on experience with proof systems like Lean. Ideal candidates will enjoy working at the frontier of formal verification, addressing challenges that existing automation struggles with. This position offers competitive pay, flexible remote work, and the opportunity to contribute to cutting-edge AI projects.#J-18808-Ljbffr