Lean 4 Proof Architect for AI Math (Remote)
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 firm is seeking a Lean 4 Mathematical Formalization Expert for a fully remote, flexible contract role. You'll translate rigorous mathematical content into machine-verified formal proofs, shaping how AI reasons about mathematics. Ideal candidates should have hands-on Lean 4 experience and a strong background in mathematics. The role offers the opportunity to contribute to high-impact AI projects on your own schedule.#J-18808-Ljbffr