{"schemaVersion":"jobsearcher.job.v1","id":"100f12b0644b17dc59240380","url":"https://jobsearcher.com/jobs/100f12b0644b17dc59240380","canonicalUrl":"https://jobsearcher.com/jobs/100f12b0644b17dc59240380","title":"Lean Theorem Proving Engineer, Verified Code Generation, DeepMind","description":"Job Titleinfo_outline X Note: By applying to this position you will have an opportunity to share your preferred working location from the following: London, Uk; Mountain View, Ca, Usa.Minimum QualificationsPhD or equivalent experience in computer science or mathematics.3 years of experience with the Lean proof assistant.3 years of experience with using AI agents.Preferred QualificationsExperience with AI agents for code or mathematical reasoning tasks.Track record of publications at top research venues.","company":"Deepmind","rawCompany":"deepmind","city":"Mountain View","state":"CA","isRemote":false,"isActive":true,"createdAt":"2026-11-04T05:52:31.571Z","occupations":[{"code":"15-2021.00","title":"Mathematicians","slug":"mathematicians"},{"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"}],"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":"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 Proving Engineer, Verified Code Generation, DeepMind","description":"Job Titleinfo_outline X Note: By applying to this position you will have an opportunity to share your preferred working location from the following: London, Uk; Mountain View, Ca, Usa.Minimum QualificationsPhD or equivalent experience in computer science or mathematics.3 years of experience with the Lean proof assistant.3 years of experience with using AI agents.Preferred QualificationsExperience with AI agents for code or mathematical reasoning tasks.Track record of publications at top research venues.","datePosted":"2026-11-04T05:52:31.571Z","dateModified":"2026-11-04T05:52:31.571Z","hiringOrganization":{"@type":"Organization","name":"Deepmind","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Mountain View","addressRegion":"CA","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"100f12b0644b17dc59240380"},"url":"https://jobsearcher.com/jobs/100f12b0644b17dc59240380"}}