Formal Verification Engineer
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 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 a month ago
Similar jobs that could be interesting for youBased on the Formal Verification Engineer in Palo Alto, CA vacancy
$160k - $275k
...availability. We build the full stack—from silicon and rack design through compilers, kernels, and ML models. We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software at every layer of the stack.What You'll Do...SuggestedDaily paidFull timeWork experience placementLocal areaRemote workMonday to FridayFlexible hoursShift work- ...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... ...and ML research teams to develop hybrid formal engines that reason about AI‑generated hardware at scale...Suggested
$163k - $237k
Define and drive the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques.Architect... ...and sign-off metrics.Guide logic designers and verification engineers to effectively incorporate formal methods into their workflows...SuggestedWorldwide$220.92k - $311.89k
...SoC organization is driving innovation in next-generation ASICs for AI applications across edge and cloud. As a Senior Formal Verification Engineer, you will play a critical role in ensuring the functional correctness of complex digital designs using advanced formal methods...SuggestedFull timeInternshipLocal areaImmediate startShift work$136k - $218.5k
...everyone is inspired to do their best work. Come join the team and see how you can make a lasting impact on the world.As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs. In this position, your...SuggestedFull time$143.3k - $247.6k
...per year Requirements: ~ Bachelors degree or higher in computer science, electrical engineering, or a related discipline ~7 years of hands-on experience in formal verification as an IP/Block owner, or equivalent academic exposure to formal methods ~7 years of familiarity...Full timeWorldwideAnnapurna Labs Inc.
Cupertino, CA3 days ago$143.3k - $247.6k
...Requirements: ~### ~ A Bachelor’s degree or higher in computer science, electrical engineering, or a related area. ~ Over 7 years of hands-on experience with formal verification as an IP/Block owner, or comparable academic experience in formal methods. ~ More than...Full timeWorldwideAnnapurna Labs (U.S.) Inc.
Cupertino, CA4 days ago$160k - $275k
What MatX Is BuildingMatX is seeking engineers with strong Rust skills to join our team as... ...you. You do not need prior hardware or verification experience to apply — if you know Rust,... ...valuableExperience with Bluespec (BH or BSV)Formal methods, model checking, or property-...Daily paidFull timeWork experience placementWork at officeLocal areaRemote workMonday to FridayFlexible hours3 days per week$142.8k - $274.8k
...Silicon, Cloud Hardware, and Infrastructure Engineering (SCHIE) is the team behind Microsoft’s... .... We are looking for a Principal Verification Engineer to join the team. #SCHIE ResponsibilitiesIn... ...writing assertions, coverage and / or formal verification. Knowledge of industry...Ongoing contractPermanent employmentWork at officeLocal areaWorldwide3 days per week$160k - $275k
...What You’ll Do HereContribute to MatX’s verification methodology with a scalable solution across... ...verification (ABV); comfort with both formal and simulated verificationExperience... ...precision)Prior work on accelerators, DMA engines, or systolic operations / systolic arraysRust...Daily paidFull timeWork experience placementLocal areaRemote workMonday to FridayFlexible hours$163k - $236k
Lead comprehensive verification strategies and signoff for complex blocks where the source is... ...specific methods such as C/RTL co-simulation, formal equivalence verification, and... ...code for verifiability and mentor junior engineers on the nuances of HLS verification.Minimum...Worldwide$160k - $275k
...ahead in AI quality and availability. MatX is seeking silicon verification engineers to join our team as we create best-in-class silicon for high... ...-based verification (ABV); experience and comfort with formal and simulated verification are requiredProduction experience...Daily paidFull timeWork experience placementLocal areaRemote workMonday to FridayFlexible hours- ...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...
Voltai, Inc
Palo Alto, CA3 hours ago $168k - $264.5k
...impact on the world.NVIDIA is seeking a Senior Custom SOC/IP Verification Engineer to verify the next generation SoC and IP solutions! We are... ...SoC interconnect verification is desirable.Experience with formal verification or assertion-based verification (SVA) applied to...Full timeNight shift$103.9k - $140.6k
...and robots to 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...Full timeFlexible hours$132.3k - $198.45k
...driving ECU and system testing.Translate formal validation requirements into repeatable... ...skills to work effectively with engineering, product, and other teams.About YouBachelor... ...such as defining requirements and formal verification and validationExperience in hands-on...Immediate startFlexible hours$167.1k - $250.7k
...Design Verification Engineer As a Design Verification Engineer, you will work with Chip Architects to validate the concepts of CPU and SOC... ...performing CPU Verification. Advance techniques such as: Formal, Assertions, and Silicon bringup, is helpful. In-depth knowledge...Work experience placementQualcomm
Santa Clara, CA3 hours ago$300k - $400k
Job Title: Principal SoC Verification Engineer - SystemVerilog / UVM, AMBAJob Location: Los Altos, CA, or San Francisco, CA - hybridCompensation: $200K - $300K base DOE plus equityRequirements: SoC Verification (Full-Chip & Block-Level), SystemVerilog / UVM, AMBA Protocols...$163k - $237k
Verify designs using verification techniques and methodologies.Work cross-functionally to debug failures and verify the functional correctness... ....Minimum qualifications:Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, a related field, or...Worldwide$163k - $236k
Develop verification plans and test plans for digital intellectual properties (IPs) and subsystems. Create and utilize verification components... ....Minimum qualifications:Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, a related field, or...Worldwide- ...Senior ASIC Verification Engineer This role has been designed as ''Onsite'' with an expectation that you will primarily work from an HPE office... ...(e.g., Jenkins). Understanding of low-power (UPF) or formal verification methodologies. Own and drive block-level/subsystem...Work at office2 days per week
Hewlett Packard Enterprise
Sunnyvale, CA2 days ago $136k - $218.5k
NVIDIA is seeking a hardworking Senior ASIC Design Verification Engineer to help drive sign-off strategies for world's leading GPUs and SoCs.... ...such as VCS-XA or equivalent tools, Gate Level Simulation or Formal Equivalence domains.Strong interpersonal skills and ability...Full timeWork experience placementRemote work$119.8k - $234.7k
...MicrosoftOverviewMicrosoft Silicon, Cloud Hardware, and Infrastructure Engineering (SCHIE) is the team behind Microsoft’s expanding Cloud... ...you have a passion for advanced silicon signoff and physical verification at leading‑edge technology nodes? You will be part of a team...Ongoing contractPermanent employmentWork at officeLocal areaWorldwideShift work3 days per weekEarly shift- ..., and Oracle.THE PERSON:We are seeking a high‑impact Design Verification Engineer with strong technical depth, ownership, and the ability to drive... ...verification, power‑aware verification (UPF), or formal verificationFamiliarity with FPGA/HAPS‑based validation and...
$135k - $155k
...is actively developing the technologies to make this possible, with the ultimate goal of enabling human life on Mars.DESIGN VERIFICATION ENGINEER (SILICON ENGINEERING)At SpaceX we’re leveraging our experience in building rockets and spacecraft to deploy Starlink, the world...Permanent employmentTemporary workWorldwideWeekend work$119.8k - $234.7k
...MicrosoftOverviewMicrosoft Silicon, Cloud Hardware, and Infrastructure Engineering (SCHIE) is the team behind Microsoft’s expanding Cloud... ...infrastructure. We are looking for a Senior Silicon Design Verification Engineer to join the team.#SCHIE #CSMEResponsibilitiesThe...Ongoing contractPermanent employmentWork at officeLocal areaWorldwide3 days per week- ...world. Love your job. Texas Instruments is seeking Design Verification Engineer. In this role you will confirm the accuracy of designs for analog... ...and systems, particularly power systemsExperience with formal verification methods and toolsAbility to establish strong relationships...Local area
$164.47k - $311.89k
...Description: About the RoleIntel is seeking a Senior Design Verification Engineer for the Silicon Chassis team. In this role, you will own end... ...and resources across teamsDrive convergence of simulation and formal verification into unified bug hunting and coverage closure...Full timeInternshipLocal areaImmediate startShift work$119.8k - $234.7k
...MicrosoftOverviewMicrosoft Silicon, Cloud Hardware, and Infrastructure Engineering (SCHIE) is the team behind Microsoft’s expanding Cloud... ...this goal, the AI Silicon Engineering (AISiE) SoC Design Verification team is instrumental in defining and delivering operational measures...Ongoing contractPermanent employmentWork at officeLocal areaWorldwide3 days per week- ...functional teams (DV/Arch/Design/FW) to identify coverage scope Minimum Qualifications: 2-3 year of experience in RTL Design and Verification area of which 2+ years of experience in SoC Design Verification and HW/SW verification or o Master Degree in relevant subject...Internship
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Verification Engineer. Be the first to apply!
Related searches
- verification engineer Palo Alto, CA
- validation engineer Palo Alto, CA
- validation consultant Palo Alto, CA
- computer system validation engineer Palo Alto, CA
- verification & validation engineer Palo Alto, CA
- validation specialist Palo Alto, CA
- verification engineer
- senior validation engineer
- validation engineer
- system validation engineer