Research Scientist: Lean-Driven Verified Code & AI

Google DeepMind is seeking a Research Scientist based in Mountain View, CA. The role involves designing AI systems that ensure code correctness, contributing to the research community, and applying cutting-edge theories to tackle complex problems. Ideal candidates have a PhD in computer science, experience in software verification and programming language semantics, along with collaboration skills for interdisciplinary projects. The compensation ranges from $207,000 to $301,000 annually, with additional bonus, equity, and benefits. #J-18808-Ljbffr