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 2 days 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 placementWork at officeLocal areaRemote workMonday to FridayFlexible hoursShift workMatX
Mountain View, CA1 day ago- ...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, CA3 days ago $100k
...solving hard problems. We are growing our team and looking for contributors of all seniorities.Tenstorrent is looking for a Formal Verification Engineer to help ensure the correctness of our next generation of high-performance RISC-V CPUs and AI compute platforms. You’ll...SuggestedPermanent employmentTenstorrent
Santa Clara, 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...SuggestedWorldwideGoogle
Sunnyvale, 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, CA2 days ago - ...Formal Verification Engineer Work Locations (3) Submit Resume Do you love creating elegant solutions to highly complex challenges? Do you intrinsically see the importance in every detail? As part of our Silicon Technologies group, you'll help design and manufacture...
Apple
Cupertino, CA2 days ago $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 timeNvidia
Santa Clara, 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 workIntel
Santa Clara, CA3 days ago$200k - $300k
...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...Flexible hours- ...Tenstorrent is seeking a Formal Verification Engineer to verify high‑performance RISC‑V CPUs and AI compute platforms using formal methods. You will develop properties, run proofs, and analyze failures in collaboration with CPU architects and RTL designers. The role...Remote job
- ...Velaura AI, Inc. seeks a Senior Formal Verification Engineer to define, own, and scale the formal verification program for its next-generation Physical AI SoC. You will prove correctness exhaustively, tame state-space explosion, and collaborate with architects, RTL...Flexible hours
$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 weekMatX
Mountain View, CA1 day ago$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...WorldwideGoogle
Sunnyvale, CA1 day ago$160k - $240k
...the craft seriously. What we need: An experienced RTL Verification Engineer responsible for ensuring the functionality, correctness, and... ...tasks to completion Desired Skills: Experience with formal verification techniques and tools Experience verifying processor...Remote work- ...We Are Synopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered... ...tomorrow. You Are You have spent years working with formal verification tools and you know the difference between a tool that runs...
Synopsys Inc
Sunnyvale, CA23 days ago $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 placementWork at officeLocal areaRemote workMonday to FridayFlexible hoursMatX
Mountain View, CA1 day ago$163k - $236k
...throughout the development process.Plan the verification of multimedia design blocks at subsystem... ...with architecture and design engineers to identify important verification scenarios... ....Experience with low power, debug, GLS, formal verification.Experience in scripting languages...WorldwideGoogle
Mountain View, CA4 days ago$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 placementWork at officeLocal areaRemote workMonday to FridayFlexible hoursMatX
Mountain View, CA1 day ago$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...WorldwideGoogle
Mountain View, 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, CA16 hours ago- ...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, CA2 days 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, CA2 days ago$200k - $300k
...About the role We're looking for an experienced Design Verification engineer with at least 5 years of pre-silicon verification experience... ...domains within verification as needed ~(Optional) RISC-V, formal verification, emulation platforms (Palladium, Veloce, or equivalent...H1bVisa sponsorshipWork visaFlexible hoursNight shiftDensityAI
Mountain View, CA3 days ago$119.8k - $234.7k
...Senior Design Verification Engineer Microsoft Silicon, Cloud Hardware, and Infrastructure Engineering (SCHIE) is the team behind Microsoft... ...come up with innovative solutions using AI ~ Experience in formal verification using Jasper Silicon Engineering IC4 - The...Ongoing contractPermanent employmentWork at officeLocal areaWorldwideMicrosoft Corporation
Mountain View, CA5 days ago$237k - $296k
...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, CA2 days ago$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 hoursAeva
Mountain View, CA3 days 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 shiftNvidia
Santa Clara, CA2 days ago- ...Design Verification Engineer Location : Mountain View, CA Industry : AI Hardware / Accelerators About the Role A fast-growing AI... ...needed. Nice to Have RISC-V verification experience. Formal verification. Emulation platforms such as Palladium,...Night shift
$116k - $189.75k
...NVIDIA’s Clocks team is looking for an experienced ASIC Design Verification engineer to join our team! The NVIDIA Clocks Team is committed to... ...flows like SV constraint random verification, UVM, Formal Verification, Coverage metrics, profiling tools, X prop, etc...Full timeNVIDIA
Santa Clara, CA5 days ago$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 hoursNuro
Mountain View, CA3 days ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Verification Engineer. Be the first to apply!
Related searches
- validation consultant Palo Alto, CA
- senior design verification engineer Palo Alto, CA
- verification engineer Palo Alto, CA
- computer system validation engineer Palo Alto, CA
- senior verification engineer Palo Alto, CA
- verification & validation engineer Palo Alto, CA
- validation engineer Palo Alto, CA
- validation specialist Palo Alto, CA
- senior validation engineer Palo Alto, CA
- validation officer