Remote Lean Proof 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 partnership seeks a Formal Verification Scientist to translate mathematical proofs into machine-verifiable formats. This remote position requires a master's degree in Mathematics and extensive experience with proof assistants like Lean. Ideal candidates will have a strong foundation in proof writing and a passion for formal verification. Enjoy competitive compensation and flexible hours while collaborating on cutting-edge AI projects.#J-18808-Ljbffr