Senior Formal Verification Architect
Waymo
A leading autonomous driving technology company in Mountain View is seeking a formal verification engineer to define strategies and lead technical initiatives for improving silicon products. The ideal candidate will have over 5 years of relevant experience, a strong background in C++ or Python, and expertise with major formal verification platforms. This hybrid role offers a competitive salary and participation in a bonus program, equity plan, and comprehensive benefits. #J-18808-Ljbffr Waymo
- Tesla, Inc. is seeking a Senior/Staff Formal Verification Engineer to drive formal verification and test environments for advanced AI hardware. You will collaborate with architects and verification teams to ensure high-quality tape-outs and robust IP delivery. You will...Senior
$160k
Tesla is seeking a Senior Formal Verification Engineer in Palo Alto to lead formal verification efforts on cutting-edge AI hardware designs. The role involves defining verification plans, ensuring functional correctness, and developing verification methodologies within...Senior- Netpreme is looking for a Senior Formal Verification Engineer in Boston, MA. In this role, you will develop formal verification strategies and collaborate closely with design teams to ensure design correctness. Candidates should have a strong background in formal verification...SeniorRelocation package
- Tensordyne in Sunnyvale, California is seeking a senior ASIC verification engineer to lead the verification of next-generation processors aimed at generative AI inference acceleration. The role demands extensive experience in ASIC verification, particularly with System...SeniorRemote jobFlexible hours
- Intel seeks an experienced verification lead to architect and document verification strategies for silicon designs. You will develop testbenches using UVM or formal methods, integrate them in chip-level environments, and drive verification across blocks. You will also craft...Senior
$156k - $229k
A leading tech company in Sunnyvale, CA, is seeking a Mid-level Design Verification Engineer. In this role, you will shape cutting-edge TPU technology for AI/ML applications. You will be responsible for verifying complex digital designs, collaborating with design teams...Senior- Prodapt is seeking a Senior Design Verification engineer to work onsite in Sunnyvale, CA. The role involves developing verification plans, maintaining verification environments, and collaborating with design engineers to ensure high-quality deliverables. Applicants should...Senior
- Architect Labs is a frontier AI lab for chip design. We build AI models and tools for on-demand custom ASICs at scale. Our goal is to... ...Do As a Founding Member of the Technical Staff on the Design Verification team at Architect Labs, you'll own the verification strategy...SeniorNight shift
- Waymo is seeking a senior formal verification engineer on the Compute Team to drive first-pass silicon verification, architect reusable FV environments, and mentor design and verification engineers. You will translate complex IP specs into formal verification plans, lead...Senior
$204k - $259k
...’s software stack. To achieve our mission, we architect and create high-performance custom silicon; we... ...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...SeniorFull timeRemote work- 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...Senior
- Quest Global is seeking an experienced verification engineer to lead a team dedicated to building state-of-the-art verification environments for various chip technologies, including automotive and AI. This position involves extensive hands-on work with high-speed protocols...Senior
- 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...Senior
$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... ...to acquire sufficiently bounded proofs while working with architects, designers, and pre‑ and post‑silicon verification teams to...Senior$168k - $264.5k
...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... ...to acquire sufficiently bounded proofs while working with architects, designers, and pre‑ & post‑silicon verification teams to...Senior$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...SeniorWork experience placement- Synopsys Inc in Sunnyvale, California, is seeking a Senior Engineer with over 15 years of experience in memory architecture and analog... ...in embedded memory design, Python, and industry-standard verification tools. Comprehensive benefits are offered, enhancing work-life...Senior
$177k - $266k
...ARM, RISC-V, x86). About the job As a Lead CPU and Performance Architect, you'll be the key contributor to improve processor... ...specifications. Collaborate with other teams, such as RTL design, design verification, and physical design to develop a high performance and...SeniorFull time$152k - $241.5k
...for a highly skilled Performance Modeling Architect to lead the architectural definition and... ...‑offs. Collaborating with build and verification teams to correlate performance models with... ...on real silicon or emulators. Formal Methods: A background in using formal verification...SeniorNight shift$152k - $241.5k
We are seeking an experienced Senior Cache Coherency Architect to join our ambitious team at NVIDIA. This... ...partnership with multiple IP creation and verification teams throughout the project... ...verification teams (simulation, emulation, and formal) to ensure implementations align...SeniorNight shift$165k - $185k
...computer to tackle these very problems. We are seeking a senior API & Workflow Platform Architect to design and scale the integration architecture that... ...from schematic through layout, extraction, verification, and tape-out. They are equally comfortable writing production...SeniorFull timeShift work$160k
...enhance human life. Tesla's AI Hardware Team is looking for a Senior, Staff level Formal Verification Engineer to develop and manage the formal verification and test environments, working closely with the architect, design, and simulation verification team to achieve high...SeniorHourly payFull timeTemporary workWork experience placementFlexible hoursNight shift$227k - $320k
...loved by millions worldwide, and leverage your design and verification expertise to verify complex digital designs, with a specific... ...and its integration within AI/ML-driven systems. As a Senior Staff Architect, you will collaborate closely with domain experts across the...SeniorFull timeWorldwide$190.61k - $269.1k
Job Responsibilities Defines, architects, and documents verification strategy and methodologies for implementing and verifying the silicon design in the... ...develops universal verification methodology (UVM) or formal based verification approaches. Integrates the block testbench...Local area- ...Corporation is seeking an engineer to assist in the bring-up of GPU RTL models on an emulation platform. This role includes supporting verification and regression teams, maintaining infrastructure for debugging, and utilizing emulation platforms for characterization. The...
- ..., outlining problems, opportunities and solutions for the stakeholders Author and update internal and external documentation, and formally initiate and deliver requirements and documentation A strong understanding of the documentation development process, the software...SeniorPermanent employmentContract workLocal area
- Synopsys, Inc. seeks a Technical Product Management Architect for the HAV AI Platform Strategy. This role requires a visionary with... ...management, focused on integrating AI into hardware-assisted verification workflows. You will define AI strategies, drive collaborations...
- ...healthcare , you’ll find your purpose here. Roles & Responsibilities Verification of FPGA’s on daVinci systems for RTL functional correctness... ...and debugging Experience with Emulation/FPGA prototyping and Formal is a plus Experience with ML‑assisted flows, and agentic‑AI...SeniorLocal areaWorldwide
- ...ASIC BU: SoC/ASIC RTL Design, UVM based verification, Emulation, FPGA based validation, DFT,... ...porting, Board bring up. We are looking for a Senior Design Verification who can work onsite... ...assertion-based verification (SVA), formal verification, and verification automation...Senior
- Roles & Responsibilities Verification of FPGA's on daVinci systems for RTL functional correctness Starting from test-planning to closing... ...and debugging Experience with Emulation/FPGA prototyping and Formal is a plus Experience with ML-assisted flows, and agentic‑AI...SeniorLocal areaFlexible hoursShift work
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Senior Formal Verification Architect. Be the first to apply!
- senior app developer Mountain View, CA
- senior international account manager Mountain View, CA
- senior product manager mobile Mountain View, CA
- senior magento developer Mountain View, CA
- senior quantitative risk analyst Mountain View, CA
- sr marketing manager Mountain View, CA
- sr technical product manager Mountain View, CA
- senior manager pmo Mountain View, CA
- senior accountant part time Mountain View, CA
- senior electrical designer Mountain View, CA

