Remote Lean 4 Researcher — 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 leading AI training organization is seeking a Researcher specializing in Lean 4 and formal proof systems. This fully remote role involves translating complex mathematical arguments into machine-verifiable proofs, enhancing formal verification, and collaborating with researchers. Candidates should have a Master's degree in a related field and experience with proof systems like Lean. The role offers flexibility with a commitment of 10-40 hours per week, allowing the researcher to shape AI's understanding of formal proofs.#J-18808-Ljbffr