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
- ...Providers (MSP) across a wide variety of industries. Systems Verification Scientist III Milpitas CA Duration - 6 months with possible... ...requirements. · Develop and execute test methods, strategies, and formal verification protocols. · Analyze and interpret scientific...SuggestedContract workWorldwide
- ...Possibilities Purpose Job Description Systems Verification Scientist III Overview Waters Biosciences,... ...cell analysis tools that support research, drug discovery, biopharmaceutical production... ...execute test methods, strategies, and formal verification protocols. Analyze and...SuggestedHourly payWork at officeRemote workWorldwideShift work
- ...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
$174k - $252k
Develop and improve AI agents that generate formally verified code, algorithms, and mathematical proofs using the Lean proof assistant... ...real-world codebases.Build infrastructure for applying formal verification at scale, translating code, orchestrating proof search, and...Suggested$174k - $252k
...pursue a long-term applied research agenda to overcome fundamental... ...synthetic data generation, verification methods/environments and rewards... ..., automated program repair, formal methods, or designing... ...types of work. As a Research Scientist, you'll setup large-scale tests...Suggested- Waters Biosciences, Milpitas CA, seeks a Systems Verification Scientist III to evaluate flow cytometry products and verify they meet product requirements through hands-on testing and data analysis. You will design experiments, develop verification protocols, analyze results...
- Develop autonomous research systems that ideate, experiment, and publish scientific papers. You'll be working on the first and best AI... ...strong research contributions are encouraged to apply regardless of formal degree. Research: Publishing in top‑tier AI/ML conferences (e....Full timeFlexible hours
- ...communication. Founded by a team of Stanford researchers and entrepreneurs with deep industry... .... We're looking for a Research Scientist who can define what "better" actually means... ...ASR, TTS, speech enhancement, speaker verification, or machine translation. Familiarity with...
- ...Job Title: Research Scientist We are seeking a dedicated Research Scientist to join our team. In this role, you will lead cutting-edge research, design benchmarks, and and agent architectures. This role is for someone eager to push the boundaries of what's possible...Full time
$204k - $259k
...Waymo AI Foundations Team Scientist Waymo is an autonomous driving technology company with the mission to be the world's most trusted... ...work, we also initiate and foster collaborations with other research teams in Alphabet. AI Foundations areas that we are currently...Temporary work- ...About Us: We are looking for an exceptional Research Scientist to develop next-generation AI technologies, focusing on user representation learning, semantic understanding, and generative AI applications. You will conduct applied research that advances representation...Full timeInternshipLocal area
- ...accelerating towards an ambitious future where scientists can unlock humanity's biggest... ...discovery, healthcare, and fundamental research with AIDO (AI-Driven Digital Organism):... ...identifying potential inconsistencies or verification signals in application materials based...
$174k - $252k
Research Scientist, Frontier Health, DeepMind DeepMind Mountain View, CA, USA Minimum qualifications: PhD degree in Computer Science, a related field, or equivalent practical experience. 2 years of experience leading a research agenda. One or more scientific publication...Full time- ...Space Systems/Loral, VMware, Tesla, Ford Research and Innovation Center, PARC, IDEO,... ...computer system and for the editing and verification of the results recorded into the computer... ...Technologist (MT) or Clinical Laboratory Scientist (CLS) given by the American Society of...Live inImmediate startMonday to FridayShift work
$35.45 - $76.7 per hour
...Clinical Laboratory Scientist (CLS)Ansible Government Solutions, LLC (Ansible) is currently recruiting multiple Clinical Laboratory... ...into the laboratory computer system and for the editing and verification of the results recorded into the computer system.QualificationsMust...Full timeImmediate startDay shift- ...ranges and acceptance criteria in collaboration with the Clinical Research Team Process incoming specimens with sterile technique:... ...Perform instrument qualification (IQ/OQ/PQ) and ongoing performance verification Run daily quality control, review QC against acceptance...
$33 - $35 per hour
...instruments, biosensors, reagents, and consumables used by life science research for biotherapeutic characterization, drug discovery,... ...assessing responses and identifying potential inconsistencies or verification signals in application materials based on available...Permanent employmentTemporary workWork at officeFlexible hours$151k - $297k
...semantic search, and more. It is backed by a strong team of AI researchers from Stanford, MIT, Berkeley, Princeton, and CMU, who have... ...model. Position Overview We are seeking a Staff Research Scientist to join our team and contribute to the development of next-generation...Work at officeLocal areaRemote workWorldwideFlexible hours$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...Temporary workWork at officeVisa sponsorshipFlexible hours- ...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...Shift work
$115k - $130k
...Therapeutics headquarters in Redwood City, CA. This is not a remote position, and remote applicants will not be considered. The Research Scientist provides broad and in-depth scientific support of Translational Research, Clinical, and Medical Affairs activities. They are...Full timeTemporary workLocal areaFlexible hours- ...Research Engineer Dyna Robotics builds general-purpose robots powered by a proprietary embodied AI foundation model with top-in-industry generalization and real-world performance. Already deployed with customers across multiple industries, our robots do commercial-...
- ...POSITION OVERVIEW We are seeking a highly motivated Research Scientist to lead technology research efforts focused on the development of novel genetic and epigenetic molecular assays. This role offers an excellent opportunity for a hands-on molecular biologist...
- .... with at least 3 years of post-degree research experience. Have hands-on experience... ...levels ranging from Senior RA or Associate Scientist. Total compensation also includes... ...potential inconsistencies or verification signals in application materials based...Flexible hours
$119.8k - $234.7k
...the core of this effort. In this role, the Senior Applied Scientist will design and implement state-of-the-art machine learning models... ...advanced AI applications. Stay at the forefront of AI research, incorporating the latest advancements to drive innovation and...Ongoing contractWork at officeLocal area$2,607 - $2,687 per week
...Weeks Start Date: ASAP About the Position Job Description & Requirements Medical Technologist - Clinical Laboratory Scientist - (Med Tech - MT - CLS) StartDate: ASAP Available Shifts: 8 D Pay Rate: $2607.00 - $2687.00 Clinical Laboratory Scientist job...Extra incomeFull timeContract workTemporary workLocal areaImmediate startShift workRotating shiftDay shift- ...Applied AI/ML Researcher As an Applied AI/ML Researcher within the AI4Tech Team at JPMorgan Chase, you will lead technology research and development initiatives focused on advancing AI capabilities across the firm. Leveraging your deep engineering expertise, you will...
$142.8k - $274.8k
...increasingly sophisticated threat landscape. As a Principal Applied Scientist on the Microsoft Ads Fraud Detection team, you will lead the... ..., ads, security, and privacy teams to operationalize research and deliver end-to-end fraud detection capabilities. Raise...Ongoing contractWork at officeLocal area$225k - $275k
...Principal Scientist ID 2025-2214 Location US-CA-Menlo Park Practice Polymers and Chemistry Position... ...excluding revenue derived from government funding for academic research projects) Applicants are encouraged to submit a CV (Curriculum...Full timeWork at officeFlexible hours$214k - $375k
..., and lab capabilities, with the ultimate goal of curing disease. Our technology powers scientists around the world, translating AI capabilities into tools that accelerate research everywhere. Biohub operates one of the largest AI compute clusters dedicated to biology...WorldwideRelocation package
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Verification Research Scientist. Be the first to apply!
- applied scientist Palo Alto, CA
- remote scientist Palo Alto, CA
- operations research scientist Palo Alto, CA
- applied sports scientist Palo Alto, CA
- health scientist Palo Alto, CA
- drug safety scientist Palo Alto, CA
- scientist biology Palo Alto, CA
- safety scientist Palo Alto, CA
- machine learning research scientist Palo Alto, CA
- application scientist Palo Alto, CA



