Remote Lean 4 Formal Methods Researcher (Contract)
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 forward-thinking AI company is seeking mathematicians experienced in formal proof systems to translate human arguments into Lean 4 formalizations. You will analyze proofs, collaborate with AI researchers, and develop reproducible proof scripts. A Master's degree in Mathematics or a related field is required, along with a strong foundation in rigorous proof writing. This is a fully remote, flexible hourly contract role designed for problem-solvers passionate about formal verification and mechanized mathematics.#J-18808-Ljbffr