• Senior Formal Verification…

    NVIDIA (Santa Clara, CA)
    …are looking for: + BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics. + 5+ years of formal verification of GPU / CPU designs. + Solid understanding ... Nvidia's Central Formal Verification Team is seeking a highly motivated FV Engineer with a background in AI to help in the development and integration of AI… more
    NVIDIA (09/09/25)
    - Related Jobs

  • ASIC Engineer , Formal…

    Meta (Sunnyvale, CA)
    **Summary:** Meta is hiring ASIC Formal Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in ... On Chip (SoC) for data center applications. As a Formal Verification Engineer , you will...verification of complex compute blocks such as DSP, CPU , GPU or HW accelerators 20. Experience with complex… more
    Meta (08/01/25)
    - Related Jobs

  • Senior Design Verification Engineer…

    Amazon (Sunnyvale, CA)
    …is powering the latest generation of Echo devices is looking for a Senior Design Verification Engineer to continue to innovate on behalf of our customers. We are ... with high performance industry standard buses like AMBA AXI4 Experience with formal verification Experience with post-silicon validation Experience with embedded… more
    Amazon (09/04/25)
    - Related Jobs

  • Custom SOC IP Verification Engineer

    NVIDIA (Santa Clara, CA)
    NVIDIA is seeking a Senior Custom SOC/IP Verification Engineer to verify the next generation SoC and IP solutions! We are looking for special individuals with ... to be. This role specifically requires a skilled ASIC Verification Engineer with expertise in cache coherency...to stand out from the crowd: + Experience with formal verification or assertion-based verification … more
    NVIDIA (09/25/25)
    - Related Jobs

  • Senior Verification Engineer

    Microsoft Corporation (Mountain View, CA)
    …manage and optimize the Cloud infrastructure. We are looking for a **Senior Verification Engineer ** to join the team. **Responsibilities** + Establish yourself ... environments in industry standard languages like SVTB UVM or formal verification . **Other Requirements:** Ability to meet...with industry standard languages like Python or C/C++. + Verification experience as part of a CPU ,… more
    Microsoft Corporation (09/25/25)
    - Related Jobs

  • ASIC Engineer , Design Verification

    Meta (Sacramento, CA)
    **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design ... Chip (SoC) for data center applications. As a Design Verification Engineer , you will be part of...or more of the following areas along with functional verification -SV Assertions, Formal , Emulation 12. Experience in… more
    Meta (08/29/25)
    - Related Jobs

  • ASIC Engineer , Design Verification

    Meta (Sunnyvale, CA)
    **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design ... On Chip (SoC) for data center applications.As a Design Verification Engineer , you will be part of...or more of the following areas along with functional verification - SV Assertions, Formal , Emulation 14.… more
    Meta (08/01/25)
    - Related Jobs

  • Principal Verification Engineer

    Microsoft Corporation (Mountain View, CA)
    …verification environments in industry standard languages like SVTB UVM or formal verification . **Other** **Requirements** **:** Ability to meet Microsoft, ... manage and optimize the Cloud infrastructure. We are looking for a **Principal** ** Verification ** ** Engineer ** to join the team. **Responsibilities** + Lead an… more
    Microsoft Corporation (09/26/25)
    - Related Jobs

  • ASIC Design Verification Engineer…

    Amazon (San Diego, CA)
    …on embedded CPU . Develop tests for FPGA and emulation platforms . Run formal verification of complex blocks to ensure functional correctness . Work with the ... preferably in communication systems - Familiarity with Matlab - Familiarity with formal verification techniques - Strong written and verbal skills Amazon is an… more
    Amazon (08/08/25)
    - Related Jobs

  • ASIC Engineer , Design

    Meta (Sunnyvale, CA)
    …NOC, Memory and Peripheral Subsystems 13. Experience with Synthesis, Timing Closure and Formal Verification Methodology 14. Master's or PhD degree in Electrical ... and IP for data center applications. **Required Skills:** ASIC Engineer , Design Responsibilities: 1. Architecture exploration 2. Micro-architecture development 3.… more
    Meta (08/01/25)
    - Related Jobs