Remote Lean 4 Formalization Scientist (Mathlib)
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 Formal Verification Scientist skilled in Lean 4 and formal proof writing. This remote role involves translating informal proofs into machine-verifiable formats, collaborating with researchers, and pushing the frontiers of formal verification. Ideal candidates will have a Master's degree or higher in Mathematics or related fields and experience with proof assistants. The position offers competitive pay and flexible hours.
J-18808-Ljbffr