Remote Lean Formalization Researcher
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 collaboration is seeking a mathematician to translate mathematical proofs into formal structures using Lean. This remote position focuses on rigorous proof construction and collaboration on cutting-edge AI projects. Candidates must hold a Master's degree or higher in Mathematics or a related field, with strong skills in formal verification and proof writing. Join a team pushing the boundaries of mechanized mathematics, offering competitive pay and freelance perks.#J-18808-Ljbffr