Research Scientist, Verified Code Generation, DeepMind

Google LLC

Mountain View, CA

JOB DETAILS
SKILLS
Analysis Skills, Architectural Design, Artificial Intelligence (AI), Certified Coding Specialist (CCS), Channel Strategies, Cloud Computing, Computer Science, Computer Security, Construction, Data Mining, Deep Learning, Delivery Management, English Language, Equal Employment Opportunity (EEO), Fonts, Formal Verification, GNU C Compiler, GNU Compiler Collection, Genetics, Machine Learning, Market Research, Memory Hardware, Modeling Languages, Natural Language Processing (NLP), Network Operations Center, Operations Management, Performance Analysis, Performance Management, Problem Solving Skills, Process Improvement, Product Management, Programming Languages, Project/Program Management, Prototyping, Publications, Recruiting/Staffing Agency, Regulatory Requirements, Retail, Safety Codes, Scientific Research, Security Analysis, Software Development, Software Engineering, Static Analysis, Stock Purchase Plans, Systems Administration/Management, Technical Leadership, Time Management, Virtual Machine (VM)
LOCATION
Mountain View, CA
POSTED
4 days ago

Research Scientist, Verified Code Generation, DeepMind - Google Careers

Careers

Careers

Skip navigation links

homehome

Home

Home

work_outlinework_outline

Jobs

Jobs

noogler_hatnoogler_hat

Students

Students

googlegoogle

How we work

How we work

handymanhandyman

How we hire

How we hire

person_outlineperson_outline

Your career

Your career

help_outline

Help link

feedback

Send feedback

more_vert

  • Help
  • Send Feedback

Sign in

Careers

Careers

homeHome

work_outlineJobs

expand_more

noogler_hatStudents

expand_more

googleHow we work

expand_more

handymanHow we hire

expand_more

person_outlineYour career

expand_more

job details

arrow_back

Back to jobs search

Jobs search results

3,699 jobs matched

  • Staff Software Developer, Google Cloud Enterprise Chat

Waterloo, ON, Canada

  • Data Center Manager, Server Operations

Eemshaven, Netherlands

  • Software Engineer, PhD, Early Career, 2026

Hyderabad, Telangana, India; Bengaluru, Karnataka, India

  • Technical Program Manager, Longhaul Planning

London, UK; Dublin, Ireland

  • Principal Threat Intelligence Analyst, Google Threat Intelligence Group

Sydney NSW, Australia; Melbourne VIC, Australia; +8 more; +7 more | Remote eligible

  • Head of Support Delivery, gUP Operations

Dublin, Ireland

  • Practice Architect, Private Equity, Google Cloud

New York, NY, USA; Atlanta, GA, USA; +5 more; +4 more

  • Strategic Agency Manager

Mumbai, Maharashtra, India; Bengaluru, Karnataka, India; +2 more; +1 more

  • Senior Program Manager, Data Center Construction

Indiana, USA | Remote eligible

  • Strategy and Operations Lead, gTech Ads Solutions

Hyderabad, Telangana, India; Gurugram, Haryana, India

  • Technical Program Manager, Silicon, Chip Design

Bengaluru, Karnataka, India

  • Staff Software Engineer, Vector Search, Vertex AI

Warsaw, Poland

  • Product Manager, Google Fonts

San Jose, CA, USA; New York, NY, USA; +2 more; +1 more

  • Forward Deployed Engineer IV, GenAI, Google Cloud

San Francisco, CA, USA; Atlanta, GA, USA; +24 more; +23 more

  • Strategic Partner Development Senior Associate, Shopping and Commerce

Mountain View, CA, USA; New York, NY, USA; +3 more; +2 more

  • Staff Developer Experience Engineer, DeepMind

Bengaluru, Karnataka, India

  • Senior Software Engineer, Storage AI/ML

Seattle, WA, USA

  • Account Representative, Search Ads 360, Retail, LCS

Chicago, IL, USA

  • Engineering Analyst, Trust and Safety, Gemini and Labs

Bengaluru, Karnataka, India

  • Google Cloud Dedicated Operations Product Management Lead

New York, NY, USA; Kirkland, WA, USA; +2 more; +1 more

Showing 1 to 20 of 3699 rows

1‑20 of 3699

navigate_next

Follow Life at Google on

*

More about us

About usopen_in_newContact usopen_in_newPressopen_in_new

Related Information

Investor relationsopen_in_newBlogopen_in_new

Equal Opportunity

Google is proud to be an equal opportunity and affirmative action employer. We are committed to building a workforce that is representative of the users we serve, creating a culture of belonging, and providing an equal employment opportunity regardless of race, creed, color, religion, gender, sexual orientation, gender identity/expression, national origin, disability, age, genetic information, veteran status, marital status, pregnancy or related condition (including breastfeeding), expecting or parents-to-be, criminal histories consistent with legal requirements, or any other basis protected by law. See also Google"s EEO Policy, Know your rights: workplace discrimination is illegal, Belonging at Google, and How we hire.

More about us

expand_more

Related information

expand_more

Equal opportunity

expand_more

Privacyopen_in_newApplicant & Candidate Privacyopen_in_newTermsopen_in_newManage cookies

helpHelpopen_in_new

arrow_back

Back to jobs search

Research Scientist, Verified Code Generation, DeepMind

share

  • linkCopy link
  • emailEmail a friend

corporate_fareDeepMindplaceLondon, UK; Mountain View, CA, USA

Apply

share

  • linkCopy link
  • emailEmail a friend

info_outline

XNote: 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.

Information collected and processed as part of your Google Careers profile, and any job applications you choose to submit is subject to Google"s Applicant and Candidate Privacy Policy.

Google is proud to be an equal opportunity and affirmative action employer. We are committed to building a workforce that is representative of the users we serve, creating a culture of belonging, and providing an equal employment opportunity regardless of race, creed, color, religion, gender, sexual orientation, gender identity/expression, national origin, disability, age, genetic information, veteran status, marital status, pregnancy or related condition (including breastfeeding), expecting or parents-to-be, criminal histories consistent with legal requirements, or any other basis protected by law. See also Google"s EEO Policy, Know your rights: workplace discrimination is illegal, Belonging at Google, and How we hire.

If you have a need that requires accommodation, please let us know by completing our Accommodations for Applicants form.

Google is a global company and, in order to facilitate efficient collaboration and communication globally, English proficiency is a requirement for all roles unless stated otherwise in the job posting.

To all recruitment agencies: Google does not accept agency resumes. Please do not forward resumes to our jobs alias, Google employees, or any other organization location. Google is not responsible for any fees related to unsolicited resumes.

Equity is granted exclusively and discretionarily by Alphabet Inc. on the basis of an agreement concluded between you and Alphabet Inc. Alphabet Inc. is your sole contractual partner with respect to equity grants. GSU grants are not guaranteed, are discretionary, are subject to approval by the Alphabet Inc. board of directors or its delegate, the terms of the relevant Alphabet Inc. stock plan, and your grant agreement. They have no impact on statutory payments. Current or past grants do not confer an acquired right.

Follow Life at Google on

*

More about us

About usopen_in_newContact usopen_in_newPressopen_in_new

Related Information

Investor relationsopen_in_newBlogopen_in_new

Equal Opportunity

Google is proud to be an equal opportunity and affirmative action employer. We are committed to building a workforce that is representative of the users we serve, creating a culture of belonging, and providing an equal employment opportunity regardless of race, creed, color, religion, gender, sexual orientation, gender identity/expression, national origin, disability, age, genetic information, veteran status, marital status, pregnancy or related condition (including breastfeeding), expecting or parents-to-be, criminal histories consistent with legal requirements, or any other basis protected by law. See also Google"s EEO Policy, Know your rights: workplace discrimination is illegal, Belonging at Google, and How we hire.

More about us

expand_more

Related information

expand_more

Equal opportunity

expand_more

Privacyopen_in_newApplicant & Candidate Privacyopen_in_newTermsopen_in_newManage cookies

helpHelpopen_in_new

Follow Life at Google on

*

More about us

About usopen_in_newContact usopen_in_newPressopen_in_new

Related Information

Investor relationsopen_in_newBlogopen_in_new

Equal Opportunity

Google is proud to be an equal opportunity and affirmative action employer. We are committed to building a workforce that is representative of the users we serve, creating a culture of belonging, and providing an equal employment opportunity regardless of race, creed, color, religion, gender, sexual orientation, gender identity/expression, national origin, disability, age, genetic information, veteran status, marital status, pregnancy or related condition (including breastfeeding), expecting or parents-to-be, criminal histories consistent with legal requirements, or any other basis protected by law. See also Google"s EEO Policy, Know your rights: workplace discrimination is illegal, Belonging at Google, and How we hire.

More about us

expand_more

Related information

expand_more

Equal opportunity

expand_more

Privacyopen_in_newApplicant & Candidate Privacyopen_in_newTermsopen_in_newManage cookies

helpHelpopen_in_new

Google apps

Main menu

About the Company

G

Google LLC