Research Scientist: Lean-Driven Verified Code & AI
$207k - $301kGoogle DeepMind
Google DeepMind is seeking a Research Scientist based in Mountain View, CA. The role involves designing AI systems that ensure code correctness, contributing to the research community, and applying cutting-edge theories to tackle complex problems. Ideal candidates have a PhD in computer science, experience in software verification and programming language semantics, along with collaboration skills for interdisciplinary projects. The compensation ranges from $207,000 to $301,000 annually, with additional bonus, equity, and benefits. #J-18808-Ljbffr Google DeepMind
Vacancy posted 1 day ago
Similar jobs that could be interesting for youBased on the Research Scientist: Lean-Driven Verified Code & AI in Mountain View, CA vacancy
$207k - $301k
...proof assistant (Lean, Coq, Isabelle,... ...learning for code or reasoning tasks... ...vulnerability research, or systems... ...research projects driven by fundamental... ...As a Research Scientist, you'll set up... ...are a pioneering AI lab with exceptional... ...Lean to enable verified static analysis...Suggested- Google is seeking a Research Data Scientist for Ads Metrics to work onsite in Mountain View, CA. You will manage a portfolio of businesses, gaining... ...metrics, and translate that understanding into data-driven advertising strategies. As a member of the Google Customer...Suggested
- ...local delivery service. To date, Waymo has driven over 20 million miles autonomously on... ...journey. The mission of the Waymo Research team is to develop machine learning solutions... ...in Python with robust and efficient code It's preferred if you have: Strong...SuggestedInternshipSummer internshipLocal area
Waymo
Mountain View, CA3 days ago - Fractal is seeking a Senior Decision Scientist in Mountain View, CA to collaborate with cross-functional teams and enhance business strategies... ...will be responsible for managing data pipelines, implementing AI-driven frameworks, and providing insights for product leadership....Suggested
$174k - $253k
...of experience leading a research agenda. One or more... ...public repositories. Coding experience in Python, JavaScript... ...of research projects driven by fundamental research... ...work. As a Research Scientist, you'll set up large‑... ...world. The Google Cloud AI Research team addresses...Suggested$262k - $365k
Research Scientist, Gemini Tool Use, DeepMind corporate_fare DeepMind place Mountain... ...Experience implementing core AI algorithms or concepts.... ..., technically involved in coding, code reviews, design discussions... ...of research projects driven by fundamental research, new...$150k
...Models We are a dedicated research lab for building,... ...the next generation of AI builders, and drive transformative... ...to a knowledge‑driven economy. As part of our... ...researchers, data scientists, and engineers, tackling... ...particular emphasis on Python coding, machine learning...Visa sponsorship- A leading AI-driven robotics company is seeking an Operations Research Scientist in Redwood City, CA. You will design and implement advanced models and algorithms, collaborate with teams to optimize processes, and tackle complex challenges using mathematical methods. This...
$140k - $160k
Bosch USA in Sunnyvale, California, is seeking a PhD-level researcher to focus on next generation communication and intelligent wireless solutions. The role emphasizes advanced signal processing, AI/ML development, and performance analysis while publishing research findings...- Conquest in Palo Alto is seeking a talented Scientist/Senior Scientist to advance cancer therapy through innovative AI-driven platforms. This role offers the opportunity to work on groundbreaking projects and collaborate with experts across disciplines. Responsibilities...
- ...University Tenure Line (UTL), or Non-Tenure Line (Research). The role focuses on developing and implementing AI-driven research to improve surgical decision-making... ...patient outcomes. Collaboration with surgeons, data scientists, and researchers is essential. Applicants to...
$138.4k - $190.3k
...content#Clinical Development Scientist page is loaded##... ...tests, real-world data and AI analytics. Guardant... ...to finalize the assay, verifying and validating the product... ...paradigms, biomarker-driven therapy selection, and... ...Fair Chance Act (Gov. Code Section 12952).**Guardant...Work at officeWork from homeGuardant Health
Palo Alto, CA3 days ago$197k - $291k
Staff Research Scientist, Google Cloud AI Research corporate_fare Google place Sunnyvale, CA, USA Apply PhD... ...: 2 years of experience in coding and leading multiple research efforts... ...maintains a portfolio of research projects driven by fundamental research, new product...Full time$117.2k - $313.7k
...About the Role Salesforce AI Research is seeking outstanding AI Research Scientists / Research Engineers to build and deploy high‑impact AI solutions at scale. The team focuses on AI‑driven products that serve Salesforce’s enterprise customers, and works in Palo Alto,...Full time100 Salesforce, Inc.
Palo Alto, CA2 days ago$207k - $300k
Staff AI Research Scientist, Applied AI, Google Cloud corporate_fare Google place Sunnyvale, CA, USA... ...qualifications: 2 years of experience in coding and leading multiple research efforts... ...a portfolio of research projects driven by fundamental research, new product innovation...Full time$117.6k - $241.2k
...acceleratingtheadvancementofgamingtechnologiesworldwide. Responsibilities: Research and analyze the latest advancements in gaming AI technologies, including but not limited to AI-driven 2D/3D content generation, intelligent NPCs, AI-assisted coding and AI real time rendering. Build and maintain...Relocation package- Physical AI Distributed Systems Researcher Sunnyvale, California The smart‑planet promise is everywhere—including Robotaxi fleets... ...capable of low‑level machine control, AI‑driven smart operation, modern agentic coding, and seamless cloud orchestration. To help drive...Contract workWork from homeHome officeFlexible hours
$140k - $215k
...with the world’s most advanced AI-native platform. We work on... ...forward. We’re also a mission-driven company. We cultivate a culture... ...About the Role As an AI Threat Researcher, you will lead the charge in identifying... ...participates in the E‑Verify program. Right to Work....Work at officeLocal area2 days per week3 days per week- ...enterprises, we bring together research, engineering, product,... ...expertise to deliver AI that meets the accuracy... ...a Principal Research Scientist to define how we build,... ..., using agent‑driven competitive intelligence... ...PyTorch. You still write code, review code, and go deep...Shift work
$141.8k - $258.6k
AI Experience Researcher, Product Evaluation, Vision Products Group Sunnyvale,... ...collaborating with ML and data scientists, software engineers,... ...scalable evaluation frameworks. Leaning on research in human... ...evaluation A strong data-driven mindset with experience designing...Relocation$192k - $304.75k
...computing. We’re looking for a passionate AI research scientist with deep quantum computing expertise... ...for specific quantum error‑correcting codes and hardware platforms, while collaborating... ...developing learned decoders or AI‑driven calibration systems for quantum hardware...NVIDIA
Santa Clara, CA53 minutes ago- Metamorphic in Palo Alto is seeking Research Scientists to push the boundaries of multimodal intelligence, write production-quality code, and help establish the benchmarks that will define this new era of intelligent systems. You will collaborate with researchers from...
$151.8k - $218.21k
...capabilities development, as well as research impact via open-source software and publications... .... The Opportunity We’re looking for a driven research scientist with a strong background encompassing... ...we can create the next generation of AI-powered capable robots together....$168k - $264.5k
NVIDIA Corporation in Santa Clara, California, is seeking a PhD researcher to drive innovative research in AI and GPU computing for Electronic Design Automation (EDA). This role offers the chance to redefine chip design through deep learning and GPU acceleration. The ideal...$168k - $264.5k
NVIDIA Gruppe is looking for a Research Scientist for their AI-Mediated Reality and Interaction team in Santa Clara, California. This role focuses on innovative research in AI and dynamic 4D worlds, requiring collaboration with diverse team members and participation in...- ...leading developer of Embodied AI technology. Our advanced AI... ...us— we embrace uncertainty, leaning into complex challenges to unlock... ...We’re looking for Applied Scientists to join Wayve Labs and help build... ..., we are a high‑conviction research team with the strategic...Full timeWork at officeWork from homeVisa sponsorshipRelocation packageFlexible hours
$115k - $140k
...communication between the human brain and AI - starting with medical... ...brings together leading scientists and engineers to redefine the... ...The Opportunity We’re seeking a Research Scientist with strong expertise... ...validation. If you are driven by curiosity, thrive in fast‑paced...$225k - $400k
ABOUT RETELL AI Retell AI is using first principles to reimagine the call center with... ...tech 30: ABOUT THE ROLE This is a research-driven, high-impact role for ML researchers who... ...Interview (45 min): LLM theory specific coding Interview (PyTorch) Technical Interview...H1bWork at officeRelocation- The Institute of Foundation Models is seeking a Research Scientist to advance reinforcement learning methods for foundation models. You will... ...large-scale training systems, and produce replicable, public code with collaborators. You will build a productive research portfolio...
$160k - $300k
A leading tech company in Palo Alto is seeking a highly skilled expert to develop and scale advanced MPI+CUDA PDE solvers. This role demands a PhD and deep expertise in numerical methods as well as strong programming skills in C++ and CUDA. Responsibilities include creating...
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Research Scientist: Lean-Driven Verified Code & AI. Be the first to apply!
Related searches
- research associate scientist Mountain View, CA
- applied sports scientist Mountain View, CA
- deep learning scientist Mountain View, CA
- lab scientist Mountain View, CA
- molecular biology scientist Mountain View, CA
- decision scientist Mountain View, CA
- senior research scientist Mountain View, CA
- scientist immunology Mountain View, CA
- nlp research scientist Mountain View, CA
- qc scientist Mountain View, CA