Remote Lean 4 Mathematician - Foundations & Formalization

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