{"schemaVersion":"jobsearcher.job.v1","id":"cd630c18920fe9e42b22ea2f","url":"https://jobsearcher.com/jobs/cd630c18920fe9e42b22ea2f","canonicalUrl":"https://jobsearcher.com/jobs/cd630c18920fe9e42b22ea2f","title":"Lean Theorem Prover Engineer: AI-Enhanced Code Verification","description":"Google DeepMind is seeking a talented researcher to formalize correctness and semantics in Lean with AI assistance from Mountain View, CA. You will work on verifying real-world codebases, translating languages like C/C++/Rust into Lean, and running large-scale experiments with AI-aided proof search.\r\nIdeal candidates hold a PhD or equivalent in CS or mathematics and have 3+ years of experience with Lean and AI agents, plus a track record of publications in top venues.#J-18808-Ljbffr","company":"Deepmind Technologies","rawCompany":"deepmind technologies","city":"Mountain View","state":"CA","isRemote":false,"isActive":false,"createdAt":"2026-10-15T01:33:17.180Z","occupations":[{"code":"15-1252.00","title":"Software Developers","slug":"software-developers"},{"code":"15-1221.00","title":"Computer and Information Research Scientists","slug":"computer-and-information-research-scientists"},{"code":"15-1251.00","title":"Computer Programmers","slug":"computer-programmers"}],"industries":[{"code":"513210","title":"Software Publishers","slug":"software-publishers"},{"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":"541990","title":"All Other Professional, Scientific, and Technical Services","slug":"all-other-professional-scientific-and-technical-services"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Lean Theorem Prover Engineer: AI-Enhanced Code Verification","description":"Google DeepMind is seeking a talented researcher to formalize correctness and semantics in Lean with AI assistance from Mountain View, CA. You will work on verifying real-world codebases, translating languages like C/C++/Rust into Lean, and running large-scale experiments with AI-aided proof search.\r\nIdeal candidates hold a PhD or equivalent in CS or mathematics and have 3+ years of experience with Lean and AI agents, plus a track record of publications in top venues.#J-18808-Ljbffr","datePosted":"2026-10-15T01:33:17.180Z","dateModified":"2026-10-15T01:33:17.180Z","hiringOrganization":{"@type":"Organization","name":"Deepmind Technologies","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Mountain View","addressRegion":"CA","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"cd630c18920fe9e42b22ea2f"},"url":"https://jobsearcher.com/jobs/cd630c18920fe9e42b22ea2f"}}