Google research scientist Work, Jobs (with Salaries)

Research Scientist, Verified Code Generation, DeepMind
DeepMind —London
- £207,000 - £301,000 a year
- Doctoral degree
- Computer Science
- Machine learning
2d
Technical Application Scientist, Europe/UK
Parse Biosciences —London
- Remote
- Google Suite
- Data analysis skills
- Microsoft Office
Quick apply
Research Scientist, LLM Agents (Foundational Research)
Thomson Reuters —London
- Full-time
- Hybrid work
- Azure
- Doctoral degree
- Master's degree
Data Scientist - Market Research / Brand Health Tracking
Ipsos —London
- Data analysis skills
- Machine learning
- Communication skills
- Annual leave
PhD Research Scientist Intern - Foundational Research
Thomson Reuters —London
- Full-time
- Hybrid work
- Azure
- Doctoral degree
- Master's degree
Product Data Scientist (Data Labs)
Similarweb —London
- Computer Science
- Engineering
- Data analysis skills
4d
Data Scientist - Agentic AI (Hybrid)
Allstate —Belfast
- Hybrid work
- Azure
- Data analysis skills
- SQL
- Employee assistance programme
Spatial Data Scientist
Oxford Economics —London
- Full-time
- Hybrid work
- Data analysis skills
- Machine learning
- APIs
- Employee assistance programme
13d
Quantum Algorithms Scientist - Implementations
Phasecraft —London
- Full-time
- Hybrid work
- Doctoral degree
- C++
- Software development
Quick apply
5d
Data Scientist – Agentic AI - Permanent UK
Satalia —London
- Remote
- Computer Science
- SQL
- Machine learning
- Flexible schedule
Research Intern - Machine Learning and Natural Language Processing (PhD)
Thomson Reuters —London
- Full-time
- Hybrid work
- Azure
- Doctoral degree
- Computer Science
Graduate AI Engineer
Scrumconnect Consulting —Staines-upon-Thames
- £27,000 a year
- Monday to Friday
- Hybrid work
- Azure
- Computer Science
- No experience needed
- Flexible schedule
10d
Research Engineer, Multi Agent Learning, DeepMind
DeepMind —London
- Doctoral degree
- Computer Science
- C++
10d
Manager, Lead Research Scientist, Training Data (Foundational Research)
Thomson Reuters —London
- Full-time
- Hybrid work
- Azure
- Doctoral degree
- Master's degree
Data Scientist
Stats Perform —London
- Hybrid work
- Doctoral degree
- Computer Science
- English
Manager, Lead Research Scientist, LLM Agents (Foundational Research)
Thomson Reuters —London
- Full-time
- Hybrid work
- Azure
- Doctoral degree
- Master's degree
Clinical Research Scientist - Medical Affairs
Skin Analytics Ltd —London
- Full-time
- Google Suite
- Doctoral degree
- Data analysis skills
- Annual leave
Quick apply
6d
Machine Learning Research Engineer (Foundational Research)
Thomson Reuters —London
- Full-time
- Hybrid work
- Azure
- Computer Science
- Engineering
Senior Data Scientist, Fraud Prevention
GoCardless —London
- £99,200 - £148,800 a year
- Doctoral degree
- SQL
- Machine learning
Research Software Engineer, Generative AI
Google —London
- Doctoral degree
- Computer Science
- C++

I want to receive the latest job alerts for google research scientist

By signing in to your account, you agree to SimplyHired's Terms of Service and consent to our Cookie and Privacy Policy.

Research Scientist, Verified Code Generation, DeepMind

DeepMind -
London

Apply Now

Job details

£207,000 - £301,000 a year
2 days ago

Qualifications

Data mining
Doctoral degree
Computer Science
Chartered Accountant
Machine learning
Natural language processing

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.

Minimum qualifications:

PhD degree in computer science, programming languages, formal methods, software engineering, or a related technical field, or equivalent practical experience.
4 years of experience in one or more of the following: programming language semantics, static analysis, abstract interpretation, software verification, or interactive theorem-proving.
1 year of experience with a proof assistant (Lean, Coq, Isabelle, or similar).

Preferred qualifications:

2 years of experience with compiler infrastructure (Low Level Virtual Machine (LLVM) or GNU Compiler Collection (GCC)) or programming language formalization.
1 year of experience with large language models or machine learning for code or reasoning tasks.
1 year of experience in memory safety analysis, vulnerability research, or systems security.
1 year of experience with Lean 4.
Experience building and scaling software verification tools for production codebases.
Publication record at top formal methods and software security venues (e.g., POPL, PLDI, CCS, or S&P).

About the job

As an organization, Google maintains a portfolio of research projects driven by fundamental research, new product innovation, product contribution and infrastructure goals, while providing individuals and teams the freedom to emphasize specific types of work. As a Research Scientist, you'll setup large-scale tests and deploy promising ideas quickly and broadly, managing deadlines and deliverables while applying the latest theories to develop new and improved products, processes, or technologies. From creating experiments and prototyping implementations to designing new architectures, our research scientists work on real-world problems that span the breadth of computer science, such as machine (and deep) learning, data mining, natural language processing, hardware and software performance analysis, improving compilers for mobile platforms, as well as core search and much more.

As a Research Scientist, you'll also actively contribute to the wider research community by sharing and publishing your findings, with ideas inspired by internal projects as well as from collaborations with research programs at partner universities and technical institutes all over the world.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 global issues 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 various 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: $207000 - $301000 (USD) + 20% bonus target + equity + benefits

Learn more about benefits at Google.

Responsibilities

Design and implement AI systems that produce formal proofs of code correctness, safety, and security using the Lean proof assistant.
Formalize programming language semantics in Lean to enable verified static analysis of real-world codebases.
Prototype and evaluate novel techniques combining Large Language Model (LLMs) with formal verification for automated code analysis and generation.
Build tools, libraries, and infrastructure to scale formal verification to large codebases.
Collaborate with researchers and engineers across AI, security, and compiler infrastructure teams.

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.

Apply Now

Refine Your Search

google research scientist jobs

Research Scientist, Verified Code Generation, DeepMind

Technical Application Scientist, Europe/UK

Research Scientist, LLM Agents (Foundational Research)

Data Scientist - Market Research / Brand Health Tracking

PhD Research Scientist Intern - Foundational Research

Product Data Scientist (Data Labs)

Data Scientist - Agentic AI (Hybrid)

Spatial Data Scientist

Quantum Algorithms Scientist - Implementations

Data Scientist – Agentic AI - Permanent UK

Research Intern - Machine Learning and Natural Language Processing (PhD)

Graduate AI Engineer

Research Engineer, Multi Agent Learning, DeepMind

Manager, Lead Research Scientist, Training Data (Foundational Research)

Data Scientist

Manager, Lead Research Scientist, LLM Agents (Foundational Research)

Clinical Research Scientist - Medical Affairs

Machine Learning Research Engineer (Foundational Research)

Senior Data Scientist, Fraud Prevention

Research Software Engineer, Generative AI

I want to receive the latest job alerts for google research scientist

Related Searches

Explore jobs in more locations

Minimum qualifications:

Preferred qualifications:

About the job

Responsibilities

Jobseeker tools

Employer Tools

Browse

Stay Connected