Formal Verification Engineer
Voltai
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. Qualifications 5+ years of experience with JasperGold, VC Formal, or similar formal verification tools Experience with assertion‑based verification (SVA) Experience with model checking and property decomposition Experience with equivalence checking, abstraction refinement, and formal coverage Referrals increase your chances of interviewing at Voltai by 2x. #J-18808-Ljbffr
Vacancy posted 4 days ago
Similar jobs that could be interesting for youBased on the Formal Verification Engineer in Palo Alto, CA vacancy
$140k - $220k
...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 Here...SuggestedWork experience placementLocal areaRemote workMonday to FridayFlexible hoursShift work$160k
...through cutting‑edge hardware innovation. Comprising brilliant engineers and visionaries, the team designs and develops advanced AI... ...human life. We are looking for a Senior, Staff level Formal Verification Engineer to develop and manage the formal verification and test...SuggestedHourly payFull timeTemporary workWork experience placementFlexible hoursNight shift$204k - $259k
...This 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 advanced...SuggestedFull timeRemote work- MatX in Mountain View is seeking a Formal Verification Engineer to ensure rigorous mathematical guarantees across hardware and software. The role involves applying model checking and formal property verification, developing machine-checked proofs, and collaborating with...SuggestedRemote jobFlexible hours
$136k - $218.5k
As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro‑architecture using formal verification tools, define the verification scope, and...Suggested$168k - $264.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...$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...Work experience placement- NVIDIA is seeking a Formal Verification Engineer to verify the design and implementation of leading GPUs. You will work closely with architects and designers, employing advanced formal techniques, and driving formal verification efforts through the entire project cycle...
- NVIDIA is seeking a Senior Formal Verification Engineer for GPU Kernels, focusing on developing scalable verification tools that ensure GPU kernels behave correctly. You will integrate these tools within production pipelines, enhancing verification tasks through AI. The...
$100k - $166.75k
As a Formal Verification Engineer at NVIDIA, you will verify the design and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro‑architecture using formal verification tools, define the verification scope, and...$138k - $198k
Google is seeking an ASIC Formal Verification Engineer in Sunnyvale, California, to drive advancements in TPU technology. In this role, you'll verify complex digital designs, focusing on the architecture and integration of TPU in AI systems. Ideal candidates will have...- NVIDIA AI is looking for a Formal Verification Engineer in Santa Clara, California. This role involves verifying GPU micro-architecture using formal verification tools, defining the verification scope, and delivering high-quality results efficiently. The ideal candidate...
- iFlow Inc. is looking for a Design Verification Engineer located in Sunnyvale, California. This long-term position requires expertise in System... ...of experience and a strong understanding of RTL design and formal verification tools. Responsibilities include writing test sequences...
- NVIDIA is seeking a Formal Verification Engineer to ensure the correctness of the industry-leading GPUs. The role involves verifying micro-architectures using formal verification tools, collaborating with architects, and delivering high-quality results. The ideal candidate...
$120k - $400k
...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 required Production experience...Full timeContract workFor contractorsWork experience placementFor subcontractorH1bWork at officeLocal area$138k - $198k
Minimum Qualifications Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field... ...practical experience. 4 years of experience with formal and design verification. Experience with SystemVerilog or Verilog. Experience...Worldwide$175k - $215k
...schedule and you will report to a Silicon Engineering Lead. Responsibilities Partner with... ...specifications into comprehensive, scalable verification plans Drive the development of... ...Familiarity with power‑aware verification (UPF), formal verification, or hardware‑software co‑...Waymo
Mountain View, CA2 days ago- ...leading public companies and thriving start-ups in need of Verification Engineers. Lets talk about what you want next! Job Description Here, you... ...& philosophy. Even better if you also have knowledge of formal, hardware acceleration. You should be an outstanding teammate...Relocation package
EE Recruiters
Santa Clara, CA6 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... ...exist before. Bonus Skills Experience with formal verification, co‑simulation or stimulus...
$163k - $237k
...Apply Bachelor's degree in electrical engineering or computer science, or equivalent practical... .... 8 years of experience with verification methodologies and languages (e.g., UVM... ...Experience with low power, debug, GLS, formal verification. Experience in scripting...Full timeWorldwide$200k - $320k
...refugees) per 22 CFR 120.62. About The Role You will own functional verification of our custom AI accelerator's digital logic — writing... ...build a verification plan that catches real bugs (Optional) Formal verification experience (property checking, model checking) (...Permanent employmentH1bVisa sponsorshipWork visaNight shift$120k - $225k
...Description Job Description 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, CA3 days ago$200k - $320k
...Description About the role We're looking for a 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...H1bVisa sponsorshipWork visaFlexible hoursNight shiftDensityAI
Mountain View, CAa month ago$110k - $150k
...it real. Come join us. Job Summary The PsiQuantum Foundry Engineering team develops and supports a silicon photonics technology platform... ...for a commercially useful quantum computer. The Layout Verification / Parasitic Extraction Engineer will support the physical and...Shift work$110k - $150k
PSI Quantum is looking for a Layout Verification / Parasitic Extraction Engineer to support photonic integrated circuits within their silicon photonics platform. This role focuses on validating electrical routing, generating netlists, and maintaining organized logs. Candidates...$175k - $215k
Waymo is hiring for a verification engineer responsible for building high-performance verification environments for their autonomous vehicle platforms. The role involves collaborating with design teams on hardware specifications and requires significant expertise in UVM...$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 required Production experience...Full timeWork experience placementLocal areaRemote workMonday to FridayFlexible hours- Pivotal is seeking a Verification Engineer to join our dynamic Aeromechanical team in Palo Alto, CA. This role involves end-to-end ownership of verification activities for aeromechanical subsystems, including testing and reporting. The ideal candidate will possess either...
- ...emulation platform. Support several emulation usage models and the engineering staff. Responsibilities Help create and maintain... ...platform. Support emulation platform users. Work directly with verification and regression teams, the RTL design team, and the software development...
$168k - $264.5k
NVIDIA is seeking a Senior Custom SOC/IP Verification Engineer to verify the next generation SoC and IP solutions! We are looking for special... ...integration. Ways to stand out from the crowd: Experience with formal verification or assertion-based verification (SVA)....
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Verification Engineer. Be the first to apply!
Related searches
- computer validation engineer Palo Alto, CA
- validation engineer Palo Alto, CA
- computer system validation engineer Palo Alto, CA
- validation consultant Palo Alto, CA
- senior validation engineer Palo Alto, CA
- system validation engineer Palo Alto, CA
- system verification engineer Palo Alto, CA
- verification & validation engineer Palo Alto, CA
- validation specialist Palo Alto, CA
- senior design verification engineer Palo Alto, CA