Formal Methods Research Scientist for AI-Driven Chip Design
Strativ Group
Strativ Group, located in San Francisco, is seeking a Research Scientist specializing in Formal Methods to advance AI-native chip design. As part of an elite team, you will help build verification foundations ensuring trusted hardware designs. This role offers significant ownership in defining the formal aspects of chip design. The ideal candidate holds a PhD and possesses deep expertise in formal verification, with experience in real-world production systems. Join us to shape the future of AI infrastructure. #J-18808-Ljbffr Strativ Group
Vacancy posted 3 days ago
Similar jobs that could be interesting for youBased on the Formal Methods Research Scientist for AI-Driven Chip Design in San Francisco, CA vacancy
$250k - $350k
...world — unlocking AI's full potential through... ..., creativity, design, simulation, and... ...technology — from AI research to systems... ...hands‑on, research‑driven role for someone who... ...closely with research scientists, ML engineers, and... ...machine learning methods. Build and...Suggested$147.6k - $274k
Genentech in San Francisco is seeking a Machine Learning Scientist to develop innovative workflows for small-molecule drug design using AI. The role involves collaboration with leading chemists and applying cutting-edge computational models. Qualified candidates will have...Suggested- Tubi is seeking a data‑driven problem solver who thrives at the intersection... ...science, growth strategy, and AI automation. You’ll focus on... ..., build BI dashboards, and design experiments across channels, applying Bayesian and causal methods to drive #J-18808-Ljbffr TubiSuggestedWork at office2 days per week
- A biotech company specializing in AI-driven drug discovery is looking for an AI Research Scientist to conduct groundbreaking research on computational modeling for biological applications. The ideal candidate will have a Ph.D. or equivalent experience in relevant fields...Suggested
- Scale Labs in San Francisco seeks a Research Scientist focused on Safety Post-Training to advance post-training methods and interpretability for frontier AI systems. You will design pipelines, evaluate safety properties, and help translate findings into practical guidelines...Suggested
- ...a Principal / Distinguished AI/ML Researcher and/or Engineer with deep experience... ...symbolic and sub-symbolic methods, enabling next-generation AI... ...of this role is the design and deployment of multi-agent... ...memory (e.g., KGs), and RL-driven controllers . Design recursive...Local area
- ...software and biological AI systems to safeguard... ...deployed in biological design. To stay ahead, we must... ...are a group of mission-driven software engineers from... ...executing the Valthos-wide research and development roadmap... ...on state-of-the-art methods at the intersection of...Full timeWork at office
$192.6k - $344.85k
## AI Research Manager/Scientist, Reinforcement LearningApplylocations: San Francisco, CA, USA: AMER - United... ...will help our customers imagine, design, and make a better world. We are... ...(RLHF, RLAIF, DPO, PPO, and related methods) + Domain-specific post-training and...Remote work$180k - $220k
...A legal technology company in San Francisco is seeking a legal researcher to support AI-driven legal systems. This role requires experience in law firms or financial institutions, strong communication skills, and the ability to work under tight deadlines. You will collaborate...Harvey
San Francisco, CA4 days ago$168.6k - $313k
...Chemist (Senior Principal Scientist) to join our innovative research and development team.... ...therapeutics. Govern the design and synthesis of innovative... ...analysis, and computational methods to implement strategic... ...with machine learning and AI-driven platforms for predicting...Local areaRelocation packageGenentech
South San Francisco, CA3 days ago$120k - $135k
...CliftonStrengths through research that anchors what we... ...closely with product, design and engineering teams to... ...qualitative and mixed methods, including interviews,... ...Thoughtfully incorporate AI tools into research workflows... ...partners without formal authority. AI fluency:...Work at office3 days per weekGallup
San Francisco, CA1 day ago- Cartesia, an AI company based in San Francisco, is hiring a Researcher for the Post‑Training team. You will design new techniques for preference optimization, model evaluation, and feedback‑driven learning, bridging research, alignment, and infrastructure at scale. In this...
- ByLabs is seeking a candidate to focus on building AI-driven systems for blockchain security research and smart contract analysis. You will work at the intersection of AI agents and blockchain infrastructure to enhance automated vulnerability discovery. Your responsibilities...Contract work
- ...that operationalizes responsible AI governance at scale. We're a 4... ...systems with security-by-design that evolve as the threat landscape... ...Principal AI Security & Risk Researcher to join our founding research... ...(while protecting proprietary methods) What We’re Looking For...Part timeRemote workFlexible hours
$275k - $370k
...interpretable, and steerable AI systems. We want... ...of committed researchers, engineers, policy... ...Research Scientist to join our People... ...rigorous scientific methods to advance our understanding... .... Research design & scientific... ...stakeholders to execute data‑driven scenario and...Work at officeVisa sponsorshipFlexible hours- Amgen is seeking a Senior Scientist specializing in Computational Protein Design in South San Francisco. This role focuses on developing automated computational pipelines aimed at enhancing drug discovery efforts. Ideal candidates have a strong background in computational...
- ...Discovery builds frontier AI models to design molecules and... ...brought together leading researchers in this space and top... ...As an AI Research Scientist, you will conduct groundbreaking... ..., ICML, Nature Methods, PLoS CB, J. Chem.... ...culture that is mission-driven and high-energy....
- ...building quantum-accelerated AI servers to... ...scientific reasoning and design: molecules, materials,... ...We are looking for a Research Scientist who can help define Quantum... ...operators, tensor methods, manifold learning, and... ...rather than benchmark‑driven alone. Hardware‑Software...Casual workVisa sponsorship
- An innovative tech firm in San Francisco is seeking a Research Scientist to lead advancements in AI retrieval systems. You will design and implement complex models, ensuring performance and reliability in a fast-paced startup environment. Candidates should have a PhD or...Remote workFlexible hours
$115k - $160k
...successful discovery, design, and... ...robotics, and AI. We identify and... .... As a Senior Scientist on the Bioengineering... ...translational researchers to develop next... ...sound, data‑driven decisions in ambiguous... ..., organ‑on‑chip, or... ...in existence. Method, Not Just Application...Full timeLocal area$150k - $250k
...evaluation infrastructure for frontier AI labs, with a founding team drawn from top... ...labs. They partner with leading labs to design datasets and run rigorous evaluations that... ...results. Work closely with the other Research Scientists to build shared experimental infrastructure...Full timeVisa sponsorshipShift work- ...building the decision infrastructure layer for enterprise AI agents, and we are hiring a Research Scientist to advance the neuro-symbolic foundations of our... ...graph neural networks, probabilistic reasoning, or formal methods. Strong programming skills in Python (PyTorch, JAX,...Work at officeRelocation
$150k - $350k
...Collate Collate is an AI document generation... ...developed a new method to detect ovarian cancer... ...of Lever. Our AI researchers, engineers, and designers have worked at Google... ...for an AI Research Scientist to push the boundaries... ...deployments. Curiosity‑driven, with a track record...Collate
San Francisco, CA22 hours ago- ...started Handshake AI and built the fastest... ...frontier AI lab researchers to create... ...together with engineers, scientists, operators, and more... ...—all designed to accelerate research... ...strategic, impact-driven UX Researcher to help... ...using lean research methods—delivering insights...Full timeWork at officeLocal areaRemote workFlexible hours
$350k
...interpretable, and steerable AI systems. We want... ...of committed researchers, engineers,... ...yourself as both a scientist and an engineer. As... ...like those we would designate as ASL-3 or ASL-4... ...Control: Creating methods to ensure advanced... ...the job * Formal certifications or...Work at officeVisa sponsorshipFlexible hoursAnthropic
San Francisco, CA2 days ago- Gravity Engineering Services Pvt Ltd. is seeking a talented researcher to design and develop cutting-edge perception algorithms for AI products. The role requires a Ph.D. or significant research experience in areas like Computer Vision and Machine Learning, proficiency...
- ...operational foundations. The ideal candidate has a strong biological background, excels in ambiguity, and is interested in modern AI-driven biology. This is an opportunity to work closely with a founding team aiming to redefine biotech. #J-18808-Ljbffr Aspire Life Sciences...
- ...data. We serve some of the world’s top AI labs, including several foundation models... ...from better data. We are looking for an AI Research Scientist who is obsessed with the Data half of... ...models and papers to identify gaps and then design the dataset that fixes it. Dataset...Shift work
- Stealth AI Startup based in San Francisco is seeking a Research Scientist to lead the research agenda for agent systems that can navigate real markets. The ideal candidate will have a PhD in a relevant field, extensive research experience, and the ability to produce credible...
$200k - $275k
Snorkel AI is seeking a Research Scientist to bridge cutting-edge research and real-world AI systems. The role involves designing AI techniques, prototyping solutions, and collaborating with industry partners. Ideal candidates will have strong expertise in AI and NLP, proficiency...Remote job
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Methods Research Scientist for AI-Driven Chip Design. Be the first to apply!
Related searches
- research associate scientist San Francisco, CA
- scientist antibody discovery San Francisco, CA
- protein scientist San Francisco, CA
- lead scientist San Francisco, CA
- applied sports scientist San Francisco, CA
- deep learning scientist San Francisco, CA
- lab scientist San Francisco, CA
- principal scientist San Francisco, CA
- molecular biology scientist San Francisco, CA
- senior analytical scientist San Francisco, CA