Remote Lean 4 Formal Proof 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 organization is seeking a mathematician/formal verification specialist to translate sophisticated mathematical proofs into machine-verifiable formalizations using Lean 4. This fully remote role allows for 10-40 hours of commitment per week, offering flexibility and intellectual stimulation. The ideal candidate will hold a Master's degree or higher in a relevant field and possess extensive experience with proof writing and formal systems, particularly Lean 4. Join us in advancing formal verification and AI reasoning.#J-18808-Ljbffr