Lean Proof Architect
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 Mathematical Formalization Specialist to translate mathematical proofs into formal verifications using Lean. The candidate should have a Master's or higher in Mathematics and experience with formal proof systems. Responsibilities include analyzing, constructing, and refining proofs that push the boundaries of automated verification tools. This role requires a passion for formal verification and a keen problem-solving ability in translating complex mathematical arguments into machine-understandable formats.#J-18808-Ljbffr