Research Scientist, Verified Code Generation, DeepMind
at Google
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). Learn more