Google DeepMind is hiring for a research-heavy role spanning formal verification, programming languages, and AI-assisted proof systems. You will formalize correctness and security specs in Lean, encode the semantics of languages like C/C++/Rust, and run experiments on AI-driven auto-formalization.
The position emphasizes rigorous research, collaboration, and impact at scale. We value a PhD, strong Lean and AI-agent experience, and a track record in high-level research with potential
Lean Theorem Prover Engineer: Verified Code Gen in London 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.
