Lean Theorem Prover Engineer — AI‑Assisted Verified Code
Lean Theorem Prover Engineer — AI‑Assisted Verified Code
Employee type
Permanent
Salary
Competitive
Category
IT & Technology, Engineering
Job Description
Google DeepMind seeks a Lean Theorem Proving Engineer to advance verified code generation across real-world codebases. You will formalize correctness in Lean and encode programming language semantics for safe verification with AI assistance.
Requirements include a PhD or equivalent in CS or mathematics, 3 years with Lean, and 3 years with AI agents. Preferred: publications and AI-assisted formal methods; locations London, UK or Mountain View, CA; English proficiency required.
#J-18808-Ljbffr