Sign up to access all features of our service.
  • Job search
  • Favorites
  • Create a CV
    New
  • Salaries
  • Subscriptions

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

Vacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the Senior Formal Verification Architect in Mountain View, CA vacancy
  • 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

    Tesla Motors, Inc.

    Palo Alto, CA
    2 days ago
  • $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

    Tesla

    Palo Alto, CA
    2 days ago
  • 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... 
    Senior
    Relocation package

    Netpreme

    Santa Clara, CA
    5 days ago
  • 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... 
    Senior
    Remote job
    Flexible hours

    Tensordyne

    Sunnyvale, CA
    2 days ago
  • 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

    Intel

    Santa Clara, CA
    3 days ago
  • $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

    Google Inc.

    Sunnyvale, CA
    4 days ago
  • 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

    Prodapt

    Sunnyvale, CA
    2 days ago
  • 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... 
    Senior
    Night shift

    Architect Labs

    Palo Alto, CA
    2 days ago
  • 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

    Waymo

    Mountain View, CA
    2 days ago
  • $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... 
    Senior
    Full time
    Remote work

    Waymo

    Mountain View, CA
    2 days ago
  • 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

    NVIDIA AI

    Santa Clara, CA
    2 days ago
  • 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

    Quest Global

    Santa Clara, CA
    2 days ago
  • 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

    NVIDIA

    Santa Clara, CA
    2 days ago
  • $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

    NVIDIA AI

    Santa Clara, CA
    2 days ago
  • $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

    NVIDIA

    Santa Clara, CA
    2 days ago
  • $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... 
    Senior
    Work experience placement

    NVIDIA

    Santa Clara, CA
    2 days ago
  • 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

    Synopsys Inc

    Sunnyvale, CA
    2 days ago
  • $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... 
    Senior
    Full time

    Google

    Mountain View, CA
    2 days ago
  • $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... 
    Senior
    Night shift

    NVIDIA

    Santa Clara, CA
    2 days ago
  • $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... 
    Senior
    Night shift

    NVIDIA

    Santa Clara, CA
    2 days ago
  • $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... 
    Senior
    Full time
    Shift work

    PsiQuantum

    Palo Alto, CA
    2 days ago
  • $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... 
    Senior
    Hourly pay
    Full time
    Temporary work
    Work experience placement
    Flexible hours
    Night shift

    Tesla

    Palo Alto, CA
    2 days ago
  • $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... 
    Senior
    Full time
    Worldwide

    Google

    Sunnyvale, CA
    2 days ago
  • $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

    Intel

    Santa Clara, CA
    4 days ago
  •  ...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... 

    WinMax Systems Corporation

    Mountain View, CA
    2 days ago
  •  ..., 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... 
    Senior
    Permanent employment
    Contract work
    Local area

    Robotics Technologies LLC

    Mountain View, CA
    1 day ago
  • 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... 

    Synopsys

    Sunnyvale, CA
    5 days ago
  •  ...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... 
    Senior
    Local area
    Worldwide

    Intuitive

    Sunnyvale, CA
    2 days ago
  •  ...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

    Prodapt

    Sunnyvale, CA
    20 hours ago
  • 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... 
    Senior
    Local area
    Flexible hours
    Shift work

    Intuitive Surgical, Inc.

    Sunnyvale, CA
    2 days ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Senior Formal Verification Architect. Be the first to apply!