Researcher: Lean 4 & Formal Proof Systems (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 research firm is seeking a Researcher specializing in Lean 4 and Formal Proof Systems, focusing on translating human-written mathematical arguments into machine-verifiable formalizations. Ideal candidates will have a Master's degree in Mathematics and deep experience in rigorous proof construction. The role offers flexible remote work with competitive pay ranging from $70 to $150 per hour, alongside opportunities for collaboration on cutting-edge AI projects.#J-18808-Ljbffr