Research Scientist, Verified Code Generation, DeepMind
Location
London, United Kingdom
Job Type
Full-time
Category
other-general
Posted
June 20, 2026
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...