Formal Verification Engineer
Voltai, Inc
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 build 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 might thrive if you have 5+ years of experience in
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 build 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 might thrive if you have 5+ years of experience in
- 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 4 hours ago
Similar jobs that could be interesting for youBased on the Formal Verification Engineer in Palo Alto, CA vacancy
$204k - $259k
...role follows a hybrid work schedule and you will report to a Silicon Engineering Lead. You will: Define and drive formal strategy for first-pass silicon success. Own the formal verification sign-off approach across complex IP and SoC designs, utilizing...SuggestedFull timeRemote work$167.1k - $250.7k
...Company: Qualcomm Technologies, Inc. Job Area: Engineering Group, Engineering Group CPU Engineering General... ...design team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the...SuggestedWork from home- ...future of AI and beyond. Together, we advance your career. THE ROLE: We are looking for an adaptive, self-motivated formal verification engineer to join our growing team. As a key contributor, you will be part of a highly collaborative team to drive and improve AMD...SuggestedWork experience placementNight shift
- ...CPU/SOCS VERIFICATION ENGINEER Location: Menlo Park, CA 94025 ( 5 Days onsite ) Duration: 12 months + extension Job Summary... ...Store Unit, Floating-Point Unit, MMU), Fetch/Decode stages, formal verification, and familiarity with x86, ARM, RISC-V, AI Core...SuggestedShift work
$120k - $250k
...Rust SW-Silicon Co-verification Engineer Mountain View, CA MatX is seeking engineers with strong Rust skills to join our team as we create... ...is valuable Experience with Bluespec (BH or BSV) Formal methods, model checking, or property-based testing (e.g., proptest...SuggestedFull timeWork experience placementWork at officeLocal areaRemote workMonday to FridayFlexible hours3 days per week- ...generation tools for silicon design by combining deep verification expertise with modern AI systems. As a Senior Verification Engineer, your role isn't just verifying chips but... .... Bonus Skills Experience with formal verification, co-simulation or stimulus...
- ...Design Verification Engineer - Senior Level (15+ years) Duration: 10-12+ Months Contract Locations: Remote (California, oregon, Washington... ...architecture knowledge and verification experience 2) VC Formal DPV App (Datapath Verification) which checks the RTL against...Contract workRemote work
$237k - $296k
...Role Summary We are seeking a high-caliber Sr. Staff Design Verification Engineer to join our ADAS and Inference Silicon team. You will be... ...Verification (CDV) to reach aggressive functional targets. Apply Formal Verification (SVA) to exhaustively prove corner cases in...Full timeContract workTemporary workPart timeLocal areaShift workNight shift- ...Pre-Silicon Verification Engineer for AI Duration: 6 months + Work Location: Los Altos, CA Onsite no exceptions. Location: Los Altos, CA Candidate Type: EAD, Green Card, TN VISA, or US Citizens Jobsite: Onsite 5 days per...Contract workFor contractors
$168k - $264.5k
...Senior Custom SOC/IP Verification Engineer NVIDIA is seeking a Senior Custom SOC/IP Verification Engineer to verify the next generation SoC... ...Ways to stand out from the crowd: Experience with formal verification or assertion-based verification (SVA). Knowledge...- ...make more intelligent and safe decisions. Role Overview: We are seeking a highly skilled and motivated Verification and Validation (V&V) Engineer to join our team, focusing on the rigorous testing and quality assurance of our cutting-edge LiDAR products. This...Flexible hours
$167.1k - $250.7k
...Qualcomm Technologies, Inc. Job Area: Engineering Group, Engineering Group CPU... ...Engineering General Summary: As a Design Verification Engineer, you will work with Chip... ...Verification. Advance techniques such as: Formal, Assertions, and Silicon bringup, is...Work experience placementWork from home$140k - $224.25k
...accelerate deep learning workloads. We are looking for an engineer to implement compiler verification software & related infrastructure in the AI space. You... ...are preserved, and where correctness breaks down Formal methods or language specification background:...$128k - $414k
...throughcutting-edgehardware innovation. Comprising brilliant engineers and visionaries, the team designs and develops advanced AI inference... ...complex SoCs at advanced nodes. As a Staff Physical Verification Engineer, you will own the physical verification signoff flow...Hourly payFull timeTemporary workWork experience placementFlexible hours- ...The Infinity Fabric network on the chip verification team is growing and looking for qualified... ...Collaborate with architects, hardware engineers and multiple IP development groups. Interact... ...to RTL design, software development, formal verification, or other related domains....
$120k - $160k
...develop, test and deploy autonomous capabilities for the U.S. Department of Defense. We are recruiting for a Verification and Validation Systems Engineer who will support the system requirements, implementation, and testing of Kodiak's assisted autonomy system to ensure...Permanent employmentTemporary workWork at officeRemote workVisa sponsorshipFlexible hours$160k - $414k
...throughcutting-edgehardware innovation. Comprising brilliant engineers and visionaries, the team designs and develops advanced AI inference... ...life. The AI Hardware team is looking for a SOC Verification Engineer who willbe responsible forRTL verification of top-...Hourly payFull timeTemporary workFlexible hours- ...world. Love your job. Texas Instruments is seeking Design Verification Engineer. In this role you will confirm the accuracy of designs for... ...and systems, particularly power systems Experience with formal verification methods and tools Ability to establish strong...Local area
- ...empowering researchers and enterprises to train and deploy the largest AI models with unprecedented ease. As a Senior Design Verification Engineer, you'll own the end-to-end verification of a critical subsystem in our next-generation AI processor. You'll collaborate with...Local areaFlexible hours
$60k - $148.5k
...Job Title: DESIGN VERIFICATION ENGINEER City: Sunnyvale State/Province: California Posting Start Date: 5/27/26... ...methodologies. Exposure to RTL design, software development, formal verification, or other related domains. Good understanding...Minimum wageLocal area$157.3k - $212.8k
...countries around the world. We are seeking an experienced Design Verification Engineers to build the next generation of our cloud server platforms.... ...Engineering or a related field - Experience with formal verification techniques including abstraction and end-to-end...Local areaWork from homeFlexible hours$161.8k - $273.4k
...Job Title Architect, GPU ASICS Engineering Company Qualcomm Technologies, Inc.... ...and power of GPU cores. Responsible for verification of Graphics IP, and performing pre- and... ...C/C++, GNU Toolchain, Visual Studio Formal verification - FPV and DPV experience is...Work experience placement$106.4k - $172.15k
...drives great outcomes. Job Summary Your Career As a Design Verification engineer on the ASIC team, you will ensure that the ASICs in our... ...work on diverse platforms including simulation, emulation, formal verification, and silicon validation. We expect office-based...Full timeCasual workWork at office$119.8k - $234.7k
...Overview Microsoft Silicon, Cloud Hardware, and Infrastructure Engineering (SCHIE) is the team behind Microsoft's expanding Cloud... ...changes our world. The AI Silicon Engineering (AISiE) SoC Design Verification team is seeking passionate, driven, and intellectually...Ongoing contractPermanent employmentWork at officeLocal area- ...Software Verification Engineer At Globus Medical, we move with a sense of urgency to deliver innovations that improve the quality of life... ...validation plans and reports. Completes regression, dry, and formal verification runs for multiple firmware and software...
- ...Role: Software Verification Engineer Location: Palo Alto CA. (Onsite - Hybrid - 3 days from Office) Duration: 6+ Months Job Description: Must Have: A proven track record in Pytest, and Selenium framework. Solid experience...Contract workWork at office
$126.8k - $220.9k
...Wireless RF OTA Connectivity Validation Engineer At Apple, we work every single day to craft products that enrich people's lives. Do... ...benefits, a range of discounted products and free services, and for formal education related to advancing your career at Apple,...Work experience placementRelocation$186k - $210k
.... The company invented the world's first 3D-stacked photonics engine, Passage™, capable of connecting thousands to millions of processors... ...and technological roadmaps, as well as suitable design and verification methodologies. You will report directly to the Head of...Full timeTemporary workFlexible hours$132.3k - $198.45k
...future. About the Team The team comprises a group of engineers committed to the validation and enhancement of autonomy at the... ...background in vehicle validation, autonomous systems verification, or a comparable engineering field. Proven capability to architect...Odd jobImmediate start$126.7k - $190.1k
...Qualcomm Technologies, Inc. Job Area: Engineering Group, Engineering Group ASICS... ...is where you come in as an ASIC Design Verification Engineer The team is responsible for... ..., assertion model development and formal verification (property checking). Learn...Work experience placementWork from home
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Verification Engineer. Be the first to apply!
Related searches
- senior design verification engineer Palo Alto, CA
- validation specialist Palo Alto, CA
- verification & validation engineer Palo Alto, CA
- verification engineer Palo Alto, CA
- senior validation engineer Palo Alto, CA
- validation engineer Palo Alto, CA
- validation consultant Palo Alto, CA
- computer system validation engineer Palo Alto, CA
- software verification engineer
- senior design verification engineer


