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
Lean Theorem Prover Engineer — AI‑Assisted Verified Code employer: Google LLC
DeepMind, as part of Google, offers an exceptional work environment that fosters innovation and collaboration among top-tier professionals in AI and materials science. Located in a vibrant tech hub, employees benefit from a culture that prioritises continuous learning and growth, alongside access to cutting-edge resources and interdisciplinary projects that drive meaningful advancements in semiconductor research.
