Research Scientist, Verified Code Generation, DeepMind

Research Scientist, Verified Code Generation, DeepMind corporate_fare DeepMind place Mountain View, CA, USA ; London, UK DeepMind | Mountain View, CA, USA ; London, UK Minimum qualifications PhD degree in programming languages, formal methods, or a related area, or equivalent practical experience. 4 years of experience with real-world software verification and bug-finding. 3 years of experience with proof assistants (Lean, Rocq, or similar) or SMT-solvers. Learn more share Share Research Scientist, Verified Code Generation, DeepMind link Copy link email Email a friend