We use cookies to personalize content and ads, analyze traffic and improve our services. We also use essential cookies to inform employers of clicks to their jobs. You acknowledge that your use of Indeed is subject to our updated Privacy Policy, Cookie Policy, and Terms, which we encourage you to review.
Deepmind Research Engineer jobs in London
Sort by: relevance - date
- Track record of publications at top research venues.
- PhD or equivalent experience in computer science or mathematics.
- DeepMindLondon
- As a research engineer on the biosecurity initiative, you will combine frontier ML research with software engineering best practices to build tools, models, and…
- View all DeepMind jobs - London jobs - Research Engineer jobs in London
- Salary Search: Research Engineer, Biosecurity, DeepMind salaries in London
- DeepMindLondon
- Experience in multidisciplinary research, guiding, and mentoring.
- Partner with Research Scientists to transform mathematical concepts and research hypotheses…
- DeepMindLondon
- Experience in multidisciplinary research, guiding, and mentoring.
- Partner with Research Scientists to transform mathematical concepts and research hypotheses…
- DeepMindLondon
- Bachelor’s degree or equivalent practical experience.
- 5 years of experience with software development in one or more programming languages.
- View all DeepMind jobs - London jobs - Research Engineer jobs in London
- Salary Search: Research Engineer, Bioresilience, DeepMind salaries in London
- Build novel safeguards and attack them with automated and manual red teaming, while measuring their cost to legitimate scientific research.
- DeepMindLondon
- Demonstrated success in delivering high quality research impact.
- PhD in Machine Learning or equivalent research/industry experience.
- View all DeepMind jobs - London jobs - Research Scientist jobs in London
- Salary Search: Research Scientist, Provenance, DeepMind salaries in London
- DeepMindLondon
- Experience working in a software engineering or research team.
- Experience with the research-to-deployment pipeline in a frontier AI environment.
- Experience working on AI safety or responsible AI research.
- Prototype and deliver scalable engineering solutions across the Responsibility research portfolio.
- DeepMindLondon
- Experience taking research from concept to product.
- Experience with collaborating or leading an applied research project.
- DeepMindLondon
- 3 years of wet-lab experience with dual-use research, high-consequence pathogens, or biological toxins.
- Experience working in AI safety, evaluations, red-…
- View all DeepMind jobs - London jobs - Biologist jobs in London
- Salary Search: Biologist, DeepMind salaries in London
- DeepMindLondon
- Lead a team of software and research engineers, fostering an environment, developing talent, and partnering with leadership to prioritize high-impact…
- Experience conducting research to solve problems in AI or ML.
- 2 years of software development or ML research experience, or education equivalent credit (e.g.,…
Job Post Details
Lean Theorem Proving Engineer, Verified Code Generation, DeepMind
DeepMind (part of Google)
·
5.0
London
£174,000 - £252,000 a year
Lean Theorem Proving Engineer, Verified Code Generation, DeepMind
Job details
£174,000 - £252,000 a year
London
Full job description
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.
US: $174000 - $252000 (USD) + 15% bonus target + equity + benefits
Learn more about benefits at Google.
Google is proud to be an equal opportunity workplace and is an affirmative action employer. We are committed to equal employment opportunity regardless of race, color, ancestry, religion, sex, national origin, sexual orientation, age, citizenship, marital status, disability, gender identity or Veteran status. We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. See also Google's EEO Policy and EEO is the Law. If you have a disability or special need that requires accommodation, please let us know by completing our Accommodations for Applicants form.
Minimum qualifications:
- PhD 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 qualifications:
- Experience with AI agents for code or mathematical reasoning tasks.
- Track record of publications at top research venues.
About the job
Artificial intelligence will be one of humanity’s most transformative inventions. At Google DeepMind, we are a pioneering AI lab with exceptional interdisciplinary teams focused on advancing AI development to solve complex global challenges and accelerate high-quality product innovation for billions of users. We use our technologies for widespread public benefit and scientific discovery, ensuring safety and ethics are always our highest priority.
We are pushing the boundaries across multiple domains. Our global teams offer diverse learning opportunities and varied career pathways for those driven to achieve exceptional results through collective effort.
Individual pay is determined by factors including job-related skills, experience, and relevant education or training.
US: $174000 - $252000 (USD) + 15% bonus target + equity + benefits
Learn more about benefits at Google.
Responsibilities
- Formalize correctness and security specifications of complex real-world systems in Lean with AI assistance.
- Encode the semantics of programming languages (e.g., C/C++/Rust) in Lean with AI assistance.
- Design and run experiments evaluating AI-driven autoformalization and proof search applied to verification of real-world codebases.
- Build infrastructure for applying formal verification at scale, translating code, orchestrating proof search, and integrating with Google-internal tools and models.
Let Employers Find YouUpload Your Resume