Remote Lean 4 Mathematician - Foundations & Formalization
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 Mathematician to work on formalizing advanced mathematical concepts using Lean 4. The ideal candidate will hold a Master's or PhD in Mathematics, with a strong background in proof writing and reasoning. Responsibilities include contributing to mathematical libraries and formal proofs. This hourly contract offers competitive pay, flexible remote work, and opportunities for global collaboration on cutting-edge AI projects.#J-18808-Ljbffr