Remote Lean 4 Formal Methods Researcher (Contract)

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