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...
Apply for this Position
Ready to join Google? Click the button below to submit your application.
Submit Application