Remote Lean 4 Researcher for Formal Proof Systems
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 cutting-edge AI research firm is seeking a Researcher specializing in Lean 4 and formal proof systems to work remotely. This role focuses on translating informal mathematical proofs into formal, machine-verifiable structures. Ideal candidates will have a Master's degree in Mathematics or a related field, a strong foundation in rigorous proof writing, and hands-on experience with formal proof languages like Lean. Join a team exploring the forefront of mechanized mathematics with competitive pay and flexible work hours.#J-18808-Ljbffr