Description
Google DeepMind is hiring an AI Verification Researcher to develop and improve AI agents that generate formally verified code, algorithms, and mathematical proofs using the Lean proof assistant. The role also formalizes programming-language semantics, builds verified static analyses, evaluates AI-driven proof search, and develops infrastructure for applying formal verification at scale. Candidates need a PhD in programming languages, formal methods, or a related area, or equivalent practical experience, along with four years of real-world software verification and bug-finding experience and three years of experience with proof assistants or SMT solvers. The position offers a US salary of $174,000–$252,000 plus a 15% bonus target, equity, and benefits, with work locations in Mountain View, California, and London, United Kingdom.
