Remote Lean 4 Researcher - Formal Proof Systems
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 a Researcher focused on Lean 4 and Formal Proof Systems to translate mathematical proofs into formalizations. This remote position requires a Master's degree in Mathematics, with a strong focus on rigorous proof writing and experience in Lean. Candidates should possess enthusiasm for formal verification and have strong communication skills. Join us for competitive pay, flexible work, and the opportunity to collaborate on cutting-edge AI projects.
J-18808-Ljbffr