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 seeks a Formal Verification Scientist to write and formalize advanced mathematical proofs in Lean. This position emphasizes translating informal proofs into machine-verifiable formats. Ideal candidates will have a Master's or higher in a relevant field, with hands-on experience in formal proof languages. The role offers flexible remote work with competitive pay, making it an excellent opportunity for mathematicians passionate about formal verification.#J-18808-Ljbffr