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 company seeks a Formal Verification Scientist to work on cutting-edge AI models. This remote position offers $70-$150 per hour based on experience. Candidates should hold a Master's degree or higher in Mathematics or a related field, with extensive experience in Lean and a passion for formal verification. Responsibilities include translating mathematical proofs into formal structures and collaborating with researchers on verification strategies. Join a team dedicated to innovation in mechanized mathematics and AI.#J-18808-Ljbffr