Location
London
Job Type
Full-time
Posted
June 20, 2026
Job Description
Research Scientist, Verified Code Generation, DeepMind
_corporate_fare_ DeepMind _place_ London, UK; Mountain View, CA, USA
_info_outline_
XNote: By applying to this position you will have an opportunity to share your preferred working location from the following: **London, UK; Mountain View, CA, USA** .
**Minimum qualifications:**
+ PhD degree in computer science, programming languages, formal methods, software engineering, or a related technical field, or equivalent practical experience.
+ 4 years of experience in one or more of the following: programming language semantics, static analysis, abstract interpretation, software verification, or interactive theorem-proving.
+ 1 year of experience with a proof assistant (Lean, Coq, Isabelle, or similar).
**Preferred qualifications:**
+ 2 years of experience with compiler infrastructure (Low Level Virtual Machine (LLVM) or GNU Compiler Collection (GCC)) or programming lan...
_corporate_fare_ DeepMind _place_ London, UK; Mountain View, CA, USA
_info_outline_
XNote: By applying to this position you will have an opportunity to share your preferred working location from the following: **London, UK; Mountain View, CA, USA** .
**Minimum qualifications:**
+ PhD degree in computer science, programming languages, formal methods, software engineering, or a related technical field, or equivalent practical experience.
+ 4 years of experience in one or more of the following: programming language semantics, static analysis, abstract interpretation, software verification, or interactive theorem-proving.
+ 1 year of experience with a proof assistant (Lean, Coq, Isabelle, or similar).
**Preferred qualifications:**
+ 2 years of experience with compiler infrastructure (Low Level Virtual Machine (LLVM) or GNU Compiler Collection (GCC)) or programming lan...
Ready to Apply?
Submit your application for Research Scientist, Verified Code Generation, DeepMind at Google
Apply Now