Research Scientist, Verified Code Generation, DeepMind

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...

Ready to Apply?

Submit your application today and join our talented team at Google.

Submit Application