Research Scientist, Verified Code Generation, DeepMind
$174k - $252kDevelop and improve AI agents that generate formally verified code, algorithms, and mathematical proofs using the Lean proof assistant.Formalize the semantics of programming languages (e.g., C/C++) in Lean and build verified static analyses on top of these formalizations.Design and run experiments evaluating AI-driven proof search, including benchmarking against open problems in mathematics and real-world codebases.Build infrastructure for applying formal verification at scale, translating code, orchestrating proof search, and integrating with Google-internal tools and models.Minimum qualifications:PhD degree in programming languages, formal methods, or a related area, or equivalent practical experience.4 years of experience with real-world software verification and bug-finding.3 years of experience with proof assistants (Lean, Rocq, or similar) or SMT-solvers.Preferred qualifications:Experience with formalizing the semantics of real-world languages.Track record of publications at top computer science venues.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 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: $174000 - $252000 (USD) + 15% bonus target + equity + benefitsLearn more about benefits at Google.Note: By applying to this position you will have an opportunity to share your preferred working location from the following: Mountain View, CA, USA; London, UK.PhD degree in programming languages, formal methods, or a related area, or equivalent practical experience.4 years of experience with real-world software verification and bug-finding.3 years of experience with proof assistants (Lean, Rocq, or similar) or SMT-solvers.
$147k - $210k
...graders that make them verifiable.Evaluate and train... ...year experience with Generative AI, Large Language Models... ...in an industry AI lab, research institute, or frontier... ...of work. As a Research Scientist, you'll setup large-... ...inventions. At Google DeepMind, we are a pioneering AI...Suggested$207k - $300k
...and misuse end-to-end.Research and develop cross-context... ...teams and data scientists to scale your work and... ...in the domain area of generative AI and Large Language... ...experience developing code, running experiments and... ...inventions. At Google DeepMind, we are a pioneering AI...Suggested- ...The mission of the Waymo Research team is to develop machine learning... ...learning from demonstration, generative modeling, Bayesian inference,... ..., as well as Google Brain, DeepMind and academia. Get an opportunity... ...with robust and efficient code It's preferred if you...SuggestedInternshipSummer internshipLocal area
Waymo
Mountain View, CA2 days ago $160.36k - $240.54k
...WorkDevelop and scale state-of-the-art generative models—especially diffusion architectures... ...reasoning. Explore reward modeling/learned verifier using generative models. Explore joint... ...models in the lab, in industry, or both.Research experiences in generative models,...SuggestedImmediate startFlexible hours- Conduct critical research in RL and reasoning by proposing new RL algorithms... ...:2 years of experience in coding and leading multiple research... ...will join a team of research scientists working on humanity's... ...transformative inventions. At DeepMind, we are a pioneering AI lab with...Suggested
$207k - $300k
...with large language models, NLP, or Generative AI.Experience in an applied research setting.Experience working with... ...types of work. As a Research Scientist, you'll setup large-scale tests and... ...transformative inventions. At Google DeepMind, we are a pioneering AI lab with...$171.6k - $222.2k
...team is looking for Applied Scientists to advance the science of making... ..., audio, and 3D. This is generation, but it is also the full loop... ...devices. This is a hands-on research role with technical lead scope... ...writing clean and well-documented code as you iterate. Later, you...Local areaFlexible hoursNight shiftDay shift$185k - $400k
About the RoleAt Pika, we are pioneering the next generation of creative infrastructure built around real-time, multimodal generation... ...intelligent agentic platforms. We are seeking accomplished Research Scientists in Foundation Models with expertise in pre-training and mid...Remote work$191k - $234.2k
...art, and high tech means more than computer code. As a member of the Dolby team, you’ll see and... ...development to Dolby’s video codec R&D team. You will research and develop cutting edge technologies that will power the next generations of state-of-the-art video compression and...Full timeWork at officeLocal areaWorldwide- ...ambitious future where scientists can unlock humanity's... ...healthcare, and fundamental research with AIDO (AI-Driven... ...(e.g., OpenAI, FAIR, Deepmind, Google Research). ~... .... ~ Experience in generative modeling for... ...Homeland Security’s E-Verify program to confirm the...
GenBio AI
Palo Alto, CAa month ago $262k - $364k
...software engineering skills to complement the research background.Build recommender/search... ...specific types of work. As a Research Scientist, you'll setup large-scale tests and deploy... ...transformative inventions. At Google DeepMind, we are a pioneering AI lab with exceptional...$192.2k - $260k
...bottlenecks in training capable code agents today is the... ...½ðºð²ð»ð — Gymnasium, custom verifiers, reward design, sandboxingðð¼... ...mutation tests• Scaling environment generation pipelines that stay fresh against... ...and 6+ years of applied research experience- Experience programming...Work at officeLocal areaFlexible hoursAmazon
Santa Clara, CAa month ago$171.6k - $222.2k
...help develop the next generation of advanced robotics systems... ...a talented Applied Scientist to join our advanced... ...This role centers on research and development of physics... ...ideas into robust, verifiable data- Develop methods... ...performance-critical code- Working knowledge of...Local areaFlexible hours- ...accumulated process, data, and code that no longer match... ...'re the reason the research is interesting.... ...looking for a Research Scientist to set and pursue a research... ...of the task space is verifiable - a transformation... ..., RL for LLMs, code generation or repair, reasoning,...
Tessera Labs
San Jose, CA2 days ago $150k
...Research Scientist Specializing In Natural Language Processing We are a dedicated research... ...to advance research, nurture the next generation of AI builders, and drive transformative... ...with a particular emphasis on Python coding, machine learning techniques, and deep...Visa sponsorshipInstitute of Foundation Models
Sunnyvale, CA4 days ago- ...Research Engineer Dyna Robotics builds general-purpose robots powered... .... Our team comes from Google DeepMind, Meta, and Cruise, and we're... ...tasks. VLA & Video Generation: Architect and scale multi-modal... ..., or Drake. ~ High-Quality Code: The ability to write maintainable...
DYNA Robotics Inc
Redwood City, CA2 days ago $192k - $304.75k
NVIDIA is searching for a world-class generative AI researcher to join the fundamental generative AI research team at NVIDIA Research. We strive for research that pushes boundaries and builds the next generation of generative models but also has an impact on the world....Full time$167.1k - $226.1k
...you!Prime Video is pioneering the use of Generative AI to empower the next generation of... ...and efficient.We are seeking an Applied Scientist to advance the state of the art in Generative... ...-end ownership of the product, related research and experimentation. In addition, you...Local areaFlexible hours$142.8k - $193.2k
...you!Prime Video is pioneering the use of Generative AI to empower the next generation of... ...and efficient.We are seeking an Applied Scientist to advance the state of the art in Generative... ...-end ownership of the product, related research and experimentation. In addition, you...Local areaFlexible hours$147k - $210k
...horizontal agents to accelerate researcher velocity and automate end-to-end business value generation across Google.Partner with... ...foundation models.Experience writing code in Python, JavaScript, R, Java... ...types of work. As a Research Scientist, you'll setup large-scale...$147k - $210k
Author research papers to share and generate impact of research results across the team and in the research... ...with researchers across Google and DeepMind.Minimum qualifications:PhD in Computer... ...types of work. As a Research Scientist, you'll setup large-scale tests and...$168k - $264.5k
...of the AI revolution, and our research is shaping the future of... ...We are looking for a Senior Scientist to join our team and help advance... ...capabilities in synthetic data generation for training frontier models.... ...datasets across text, code, structured, and multimodal data...Full timeRemote work$117.2k - $313.7k
...The ExperienceSalesforce AI Research is a global leader in Enterprise... ...has helped shape multiple generations of modern AI: we helped... ...for entrepreneurial Research Scientists who want to build, ship, and... ..., deep research agents, and coding agents.Multimodal and Computer...Full timeWorldwide$192k - $304.75k
We are now looking for a Senior Research Scientist for Generative AI!NVIDIA is searching for a world-class researcher in generative AI to join our research team. You will be conducting original research for generative AI applications, including image generation, video generation...Full time$252k - $274k
Identify the next wave of user needs in generative AI. Move beyond tactical testing to lead foundational research that informs the multi-year product roadmap.Define the... ...’s most transformative inventions. At Google DeepMind, we are a pioneering AI lab with exceptional...- ...Models We are a dedicated research lab for building, understanding... ...research, nurture the next generation of AI builders, and drive transformative... ...-class researchers, data scientists, and engineers, tackling the... ..., and produce replicable code for public release. You will...Shift work
Institute of Foundation Models
Sunnyvale, CA26 days ago - ...THE ROLE:We are hiring a AI Research Scientist, Reinforcement Learning (LLM... ...interactive learning for large generative models applied to demanding... ...hardware-adjacent tasks (code, optimization, tool use, and... ...structured engineering tasks with verifiable or preference-based...
$230k - $380k
...your career! The Role We’re looking for Research Scientists to join Wayve Labs and help build the next generation of AI systems for autonomous driving and... ...Wayve For US candidates only, please visit E-Verify Notice and Participation and Right to Work...Full timeWork at officeVisa sponsorshipRelocation packageFlexible hours- ...Models We are a dedicated research lab for building,... ...research, nurture the next generation of AI builders, and drive transformative... ...-class researchers, data scientists, and engineers, tackling the... ...performance is quantitatively verifiable. Key Responsibilities...Visa sponsorship
Institute of Foundation Models
Sunnyvale, CA18 days ago $300k
...Models We are a dedicated research lab for building, understanding... ...research, nurture the next generation of AI builders, and drive transformative... ...-class researchers, data scientists, and engineers, tackling the... ...ideas into fast production code · Prototype new...Visa sponsorshipInstitute of Foundation Models
Sunnyvale, CA26 days ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Research Scientist, Verified Code Generation, DeepMind. Be the first to apply!
- manufacturing scientist Mountain View, CA
- senior research scientist Mountain View, CA
- support scientist Mountain View, CA
- application scientist Mountain View, CA
- drug safety scientist Mountain View, CA
- machine learning scientist Mountain View, CA
- lab scientist Mountain View, CA
- safety scientist Mountain View, CA
- research scientist - biology Mountain View, CA
- applied sports scientist Mountain View, CA