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 1 day ago
Similar jobs that could be interesting for youBased on the Formal Verification Engineer in Palo Alto, CA vacancy
$120k - $212.5k
...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...SuggestedFull timeWork experience placementLocal areaRemote workMonday to FridayFlexible hoursShift work- ...Harmonic At Harmonic, we are building a mathematical reasoning engine that operates with absolute precision. While most AI makes... ...elite technical team. About the Role We are seeking a Formal Verification Engineer to verify production hardware and software with...Suggested
Harmonic
Palo Alto, CA2 days ago $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- ...Join AMD's Verification Team At AMD, we believe technology can change lives for the better... ...verification team. In this role, you will drive formal verification efforts across complex... ...methodologies, mentor junior engineers, and collaborate with RTL designers, simulation...SuggestedShift work
Advanced Micro Devices , Inc.
Santa Clara, CA1 day ago - ...Our client in the semiconductor industry, is seeking a Formal Verification Engineer to join their team. As a Formal Verification Engineer, you will be part of the Verification Department supporting ASIC and SoC verification efforts. The ideal candidate will demonstrate...SuggestedWeekly payTemporary workRemote workFlexible hours
Experis/Manpower Group
Santa Clara, CA1 day ago - ...things they love with their devices. Learn from the best Formal Verification team in the world and acquire experience being at the center... ...customers quickly. Description As a formal verification engineer working the complete formal verification for single or...
Apple
Cupertino, CA1 day ago $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...Full 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...Full time$184k - $287.5k
We are now looking for a Senior Formal Verification Engineer for GPU Kernels! Modern AI performance relies on highly optimized GPU kernels — performance-critical code where bugs can be hard to catch and expensive to miss. NVIDIA's Deep Learning Safety Team is hiring engineers...Full timeWork experience placement$120k - $250k
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-...Full timeWork experience placementWork at officeLocal areaRemote workMonday to FridayFlexible hours3 days per week$138k - $197k
Plan the formal verification strategy, create the properties and constraints for the digital design blocks.Utilize formal property verification... ....Minimum qualifications:Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field...Worldwide$119.8k - $234.7k
...Silicon, Cloud Hardware, and Infrastructure Engineering (SCHIE) is the team behind Microsoft’s... .... We are looking for a Senior Verification Engineer to join the team.#SCHIE ResponsibilitiesIn... ...writing assertions, coverage and / or formal verification. Knowledge of industry...Ongoing contractPermanent employmentInternshipWork at officeLocal areaWorldwideNight shift3 days per week$120k - $250k
...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...Full 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$102.1k - $202.2k
...Silicon, Cloud Hardware, and Infrastructure Engineering (SCHIE) is the team behind Microsoft’s... ....We are looking for a Design Verification Engineer to join our team.#SCHIE #CSME... ...environments using SystemVerilog and UVM, or formally verify designs with SVA and industry leading...Ongoing contractPermanent employmentWork at officeLocal areaWorldwide3 days per week$142.8k - $274.8k
...Silicon, Cloud Hardware, and Infrastructure Engineering (SCHIE) is the team behind Microsoft’s... ...looking for a Principal Silicon Design Verification Engineer to join the team.... ...exclusions, and apply constrained-random, formal, and gate-level techniques to find bugs...Ongoing contractPermanent employmentWork at officeLocal areaWorldwide3 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... ...before. Bonus Skills Experience with formal verification, co-simulation or stimulus...
Voltai, Inc
Palo Alto, CA1 day ago $120k - $225k
...Design Verification Engineer We're hiring experienced Design Verification Engineers to play a key role in developing and verifying the designs... ...and advanced stimulus generation techniques. Exposure to formal verification methods and tools. Familiarity with power-...Mythic
Palo Alto, CA1 day ago$175k - $215k
...schedule and you will report to a Silicon Engineering Lead You will: Partner with... ...into comprehensive, scalable verification plans Drive the development of testbenches... ...Familiarity with power-aware verification (UPF), formal verification, or hardware-software co-...Full timeRemote workLatent Logic
Mountain View, CA21 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$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 responsible... ...(CDV) to reach aggressive functional targets. Apply Formal Verification (SVA) to exhaustively prove corner cases in safety...Full timeContract workTemporary workPart timeLocal areaShift workNight shiftRivian
Palo Alto, CA1 day ago$200k
...Role Overview We are looking for a talented Senior Formal Verification Engineer to define, own, and scale the formal verification effort that hardens Velaura's next-generation Physical AI SoC. You will apply formal methods to the hardest correctness problems in the design...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$192k - $278k
...point of contact for IP and SoC functional verification for cross functional teams.Coordinate... ...:Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science... ...techniques and methodologies including formal, GLS, UPF based power simulations, UVM...Worldwide$120k - $243k
...ASIC Verification Engineer This role has been designed as 'Hybrid' with a requirement that you will work on average 2 days per week from an... ...flows (e.g., Jenkins). Understanding of low-power (UPF) or formal verification methodologies. Own and drive block-level/...Work experience placementWork at officeLocal areaImmediate start2 days per weekHewlett Packard Enterprise Development LP
Sunnyvale, CA21 hours ago$80k - $100k
...with the World's leading AI-first Quality Engineering Company? Ready to advance your career,... ...at QualityAI! We are looking for a Verification Engineer to join our growing team in Ball... ...and review. Develop and execute formal test protocols, ensuring alignment with...Casual workLocal areaFlexible hoursQualiTest Group
Santa Clara, CA21 hours ago$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, CA1 day ago$136k - $218.5k
We are now looking for a Senior Verification Engineer!NVIDIA has been transforming computer graphics, PC gaming, and accelerated computing for... ..., IP architects and other verification engineers to formalize product featuresVerify IP's using System Verilog and UVMBuild...Full time- ...Founding Member of the Technical Staff - Formal Methods at Architect Labs, you'll work... ...the spec. Co-design with our verification methodology and ML research teams: your... ...you are not a single-tool maximalist. Engineering Rigor: Strong software engineering skills...
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
- computer system validation engineer Palo Alto, CA
- verification engineer Palo Alto, CA
- validation consultant Palo Alto, CA
- validation specialist Palo Alto, CA
- verification & validation engineer Palo Alto, CA
- validation engineer Palo Alto, CA
- process validation engineer
- analog mixed signal ams verification engineer
- hil validation engineer