{"schemaVersion":"jobsearcher.job.v1","id":"b7b040ad8584d558bc347413","url":"https://jobsearcher.com/jobs/b7b040ad8584d558bc347413","canonicalUrl":"https://jobsearcher.com/jobs/b7b040ad8584d558bc347413","title":"Research Scientist: Lean-Driven Verified Code & AI","description":"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.\nIdeal candidates have a PhD in computer science, experience in software verification and programming language semantics, along with collaboration skills for interdisciplinary projects.\nThe compensation ranges from $207,000 to $301,000 annually, with additional bonus, equity, and benefits.\n\n#J-18808-Ljbffr","company":"Google Deepmind","rawCompany":"google deepmind","city":"Mountain View","state":"CA","isRemote":false,"isActive":false,"createdAt":"2026-07-16T03:29:25.865Z","occupations":[{"code":"15-1221.00","title":"Computer and Information Research Scientists","slug":"computer-and-information-research-scientists"},{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-1251.00","title":"Computer Programmers","slug":"computer-programmers"}],"industries":[{"code":"541715","title":"Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)","slug":"research-and-development-in-the-physical-engineering-and-life-sciences-except-nanotechnology-and-biotechnology"},{"code":"513210","title":"Software Publishers","slug":"software-publishers"},{"code":"541720","title":"Research and Development in the Social Sciences and Humanities","slug":"research-and-development-in-the-social-sciences-and-humanities"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Research Scientist: Lean-Driven Verified Code & AI","description":"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.\nIdeal candidates have a PhD in computer science, experience in software verification and programming language semantics, along with collaboration skills for interdisciplinary projects.\nThe compensation ranges from $207,000 to $301,000 annually, with additional bonus, equity, and benefits.\n\n#J-18808-Ljbffr","datePosted":"2026-07-16T03:29:25.865Z","dateModified":"2026-07-16T03:29:25.865Z","hiringOrganization":{"@type":"Organization","name":"Google Deepmind","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Mountain View","addressRegion":"CA","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"b7b040ad8584d558bc347413"},"url":"https://jobsearcher.com/jobs/b7b040ad8584d558bc347413"}}