Remote Lean 4 Proof Engineer: Formalize Math
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 organization seeks a Lean 4 Proof Engineer specializing in mathematical formalization. This role involves translating informal mathematical proofs into machine-verifiable formalizations, focusing on clarity and rigorous proof construction. Candidates should possess a Master's degree in Mathematics or a related field and hands-on experience with Lean and formal proof languages. The position offers competitive hourly pay, flexible remote work, and opportunities to collaborate on cutting-edge AI projects.#J-18808-Ljbffr