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
We invite applications for the Lean Theorem Prover Engineer — AI‑Assisted Verified Code position located in Greater London, England, United Kingdom.
Join Google LLC and contribute to our ongoing work.
Take a moment to read everything above and see whether this role is right for you.
This posting is for the Lean Theorem Prover Engineer — AI‑Assisted Verified Code role at Google LLC, based in Greater London, England, United Kingdom.