Formal Verification Research Scientist
Voltai
Job Description
Job Description
About Voltai
Voltai is developing world models, and agents to learn, evaluate, plan, experiment, and interact with the physical world. We are starting out with understanding and building hardware; electronics systems and semiconductors where AI can design and create beyond human cognitive limits.
About the Team
Backed by Silicon Valley’s top investors, Stanford University, and CEOs/Presidents of Google, AMD, Broadcom, Marvell, etc. We are a team of previous Stanford professors, SAIL researchers, Olympiad medalists (IPhO, IOI, etc.), CTOs of Synopsys & GlobalFoundries, Head of Sales & CRO of Cadence, former US Secretary of Defense, National Security Advisor, and Senior Foreign-Policy Advisor to four US presidents.
About this Role
In this role, you’ll develop new formal verification methods to enable formal proofs of design correctness using model checking, property verification, and equivalence analysis. You’ll collaborate closely with RTL, verification, and ML research teams to develop hybrid formal engines that reason about AI-generated hardware at scale. You’ll define formal properties, automate assertion synthesis, and build systems that verify at the speed of thought. You will prototype research ideas, evaluate them on real RTL designs, and work closely with RTL, ML, and verification teams to turn novel methods into practical systems.
You might thrive if you have 5+ years of experience in
Research experience in formal methods , theorem proving, model checking, or program analysis
JasperGold , VC Formal , or similar formal verification tools
Assertion-based verification (SVA)
Model checking and property decomposition
Equivalence checking , abstraction refinement , and formal coverage
Vacancy posted 14 days ago
Similar jobs that could be interesting for youBased on the Formal Verification Research Scientist in Palo Alto, CA vacancy
- ...Description The candidate will be performing hands-on research on high-assurance connect car system assurance using formal methods and design by contract concepts.... ...formal contract languages; Automatic formal verification; Runtime verification and runtime monitoring...SuggestedContract workLocal area
$180k - $258.75k
...Materials /Full-time /HybridAt Toyota Research Institute (TRI), we’re on a mission to... ...OPPORTUNITYWe are hiring a Senior Research Scientist to help deepen the chemistry at the... ...identifying potential inconsistencies or verification signals in application materials based...SuggestedFull timeLocal areaShift work$190k - $250k
...models that drive our autonomous trucks. We are looking for a research scientist to lead the design and development of world models capable... ...scrutiny and eligibility for such positions may hinge on verification of a candidate’s residence, U.S. person status, and/or citizenship...SuggestedTemporary workWork at officeVisa sponsorship- ...career. THE ROLE:We are hiring an AI Research Scientist, Recursive Self Improvement, AI Safety... ...their own training signals, curricula, or verification—always under explicit governance, kill... ...by default but constructive: you formalize assumptions, bound autonomy, and insist...SuggestedShift work
$176k - $253.5k
...Centered AI /Full-time /HybridAt Toyota Research Institute (TRI), we’re on a mission to... ...Opportunity We are looking for an AI Research Scientist or Senior AI Scientist with expertise... ...potential inconsistencies or verification signals in application materials based...SuggestedFull timeTemporary workLocal areaShift work- ...Machine Learning Research Scientist At Autoscience Institute, we create AI systems that autonomously conduct AI research. Recently, we announced... ...research contributions are encouraged to apply regardless of formal degree. Research: Publishing in top-tier AI/ML conferences...Full timeFlexible hours
Autoscience Institute
Menlo Park, CA1 day ago - ...translation fluency under real-world disfluency. We’re looking for a Research Scientist who can define what "better" actually means across all of... ...speech tasks — ASR, TTS, speech enhancement, speaker verification, or machine translation. Familiarity with real‑time or...
Sanas
Palo Alto, CA4 days ago $174k - $253k
...equivalent practical experience.2 years of experience leading a research agenda.Preferred qualifications:2 years of coding experience.1... ...efforts and influencing other researchers.As a Research Scientist, you will be responsible for improving the factuality of the Gemini...$180k - $300k
...For more details, check out our recent research on synthetic data scaling (BeyondWeb) and... ...About the RoleWe're looking for a Research Scientist to investigate how intervening on... ...best researchers we've worked with have no formal training in machine learning, and obtained...Work at officeWork from homeRelocation package$136.3k - $231.7k
...advancing humanity all begin with inspiration, research and development. KLA focuses more than... ...teams of physicists, engineers, data scientists and problem-solvers work together with... ...requirements, specifications, and verification plans across optical, mechanical, electrical...Minimum wageFull timeWork experience placementFlexible hours$112.88k - $149.57k
OverviewThe Applied Sciences Laboratory at SRI International is seeking multiple Applied and Computational Scientists to conduct research and development in the areas of mathematics of generative AI models, reinforcement learning, and algorithm design. Though knowledge...Permanent employment$139k - $229k
...offers countless ways for an ambitious data scientist to have an impact.We are now looking for... ...in-depth and rigorous data science research, model improvement, advanced experiments... ...the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance...For contractorsWork experience placementWork at officeFlexible hours$200k - $287.5k
...Automated Driving Advanced Development /Full-time /HybridAt Toyota Research Institute (TRI), we’re on a mission to improve the quality of... ...responses and identifying potential inconsistencies or verification signals in application materials based on available information...Full timeLocal areaShift work$126k - $248k
...semantic search, and more. It is backed by a strong team of AI researchers from Stanford, MIT, Berkeley, Princeton, and CMU, who have... ...end solutions.Position OverviewWe are seeking a Senior Research Scientist to join our team and contribute to the development of next-generation...Local areaWorldwideFlexible hours$160.36k - $240.54k
...scalable machine learning based planning and prediction systems to generate safe and feasible trajectories for autonomous driving.Research generative sequence modeling and sequential decision making. Research backgrounds we are looking for but not limited to are:Nice to...Immediate startFlexible hours$185k - $400k
...infrastructure built around real-time, multimodal generation and intelligent agentic platforms. We are looking for a staff or lead-level Research Engineer, Data to architect and scale data engineering systems supporting model training for our advanced multimodal foundation...Remote work$165k - $238k
...We approach projects that have the aspiration and riskiness of research with the speed and ambition of a startup. As an innovation... ...about our moonshot here: About the role:As a Senior Research Scientist you will be a key architect of the core AI systems powering our...Full timeWork at office3 days per week$160.36k - $240.54k
...You have a Ph.D. (preferable) or M.Sc. with 2-3 years of experience working with generative models in the lab, in industry, or both.Research experiences in generative models, particularly diffusion models, flow matching and energy-based models, for robotics, including...Immediate startFlexible hours$147k - $211k
SnapshotWe are seeking strong Research Scientists with expertise in AI research and experience in interdisciplinary sociotechnical modeling to join a multimodal safety research effort within Google DeepMind's Frontier AI unit. This role requires a passion for understanding...Full time- ...shaping the future. Hippocratic AI was co‑founded by CEO Munjal Shah and a team of physicians, hospital leaders, AI pioneers, and researchers from institutions like El Camino Health, Johns Hopkins, Washington University in St. Louis, Stanford, Google, Meta, Microsoft,...Work at office
$147k - $210k
Author research papers to share and generate impact of research results across the team and in the research community. Help in growing... ...freedom to emphasize specific types of work. As a Research Scientist, you'll setup large-scale tests and deploy promising ideas quickly...- ...s most useful inventions. At Google DeepMind, we’re a team of scientists, engineers, machine learning experts and more, working together... ...behavior of GDM’s latest Gemini models. The role of the Research Scientist / Research Engineer will be to apply and develop data...
$183.83k - $275.98k
...About the RoleIn this role, you will be a member of the Perception & Behavior team, leveraging the cutting edge of machine learning research to solve challenging real-world robotics problems. This role is focused on bringing advancements in the field of ML and large-...Immediate startFlexible hours$180k - $300k
...For more details, check out our recent research on synthetic data scaling (BeyondWeb) and... ...About the RoleWe’re looking for a Research Scientist to lead work on post-training data... ...best researchers we’ve worked with have no formal training in machine learning, and obtained...Work at officeWork from homeRelocation package$207k - $301k
...recommendation systems, personalization, and ML efficiency. Drive new research ideas from conception, experimentation, to production in a... ...freedom to emphasize specific types of work. As a Research Scientist, you'll setup large-scale tests and deploy promising ideas...Shift work$192.2k - $260k
...problems that will give Applied Scientists like you endless opportunities to see your research have a positive and immediate... ...symbolic systems that integrate formal reasoning with GenAI to deliver... ...hallucination detection, policy verification, and automated guardrails.*...Local areaImmediate startWorldwideFlexible hours- Responsibilities Participate in cutting edge research in machine intelligence and machine learning applications. Develop solutions for real world, large scale problems.Qualifications Minimum qualifications:PhD in Computer Science, related technical field or equivalent...Full timeWork experience placement
$117.2k - $313.7k
...place! Agentforce is the future of AI, and you are the future of Salesforce.The ExperienceSalesforce AI Research is looking for outstanding AI Research Scientists and Research Engineers. Our team discovers new research problems, develops novel models, and bridges the...Full time- ...Sycamore’s Research Scientists work on the open problems behind reliable agentic systems: planning, memory, coordination, trust, and evaluation. You’ll publish, prototype, and collaborate directly with engineers to bring research into production. Hard problems, real impact...
Sycamore Labs, Inc.
Palo Alto, CA3 days ago $143.63k - $299.38k
...transforming the way the world connects. Yahoo Mail is the ultimate consumer inbox. A Lot About You You are a seasoned Applied ML Researcher who thrives at the intersection of theoretical innovation and production‑grade execution. You don't just follow the latest LLM...Work at officeFlexible hoursYahoo Holdings Inc.
Mountain View, CA1 day ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Verification Research Scientist. Be the first to apply!
Related searches
- scientist Palo Alto, CA
- cell culture scientist Palo Alto, CA
- lab scientist Palo Alto, CA
- research scientist - biology Palo Alto, CA
- applied scientist Palo Alto, CA
- molecular biology scientist Palo Alto, CA
- regulatory scientist Palo Alto, CA
- senior research scientist Palo Alto, CA
- senior scientist Palo Alto, CA
- health scientist Palo Alto, CA