• 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)
    - Save Job - Related Jobs - Block Source
  • ASIC Engineer , Formal

    Meta (Harrisburg, PA)
    **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 (10/20/25)
    - Save Job - Related Jobs - Block Source
  • ASIC Engineer , Formal

    Meta (Charleston, WV)
    **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 19. Experience with complex… more
    Meta (10/20/25)
    - Save Job - Related Jobs - Block Source
  • Senior Formal Verification

    NVIDIA (Santa Clara, CA)
    NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry's leading CPUs and other High Performance ... Computing Solutions. As a Formal Verification Engineer , you will...years of experience in CS/CE/EE/Mathematics. + Solid understanding of GPU/ CPU architectures and designs. + Strong analytical skills to… more
    NVIDIA (10/16/25)
    - Save Job - Related Jobs - Block Source
  • 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)
    - Save Job - Related Jobs - Block Source
  • 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/20/25)
    - Save Job - Related Jobs - Block Source
  • Senior Verification Engineer

    Microsoft Corporation (Redmond, WA)
    …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 (10/31/25)
    - Save Job - Related Jobs - Block Source
  • 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 ... 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 (10/30/25)
    - Save Job - Related Jobs - Block Source
  • 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 (10/30/25)
    - Save Job - Related Jobs - Block Source
  • Lead E/E & Semiconductor Engineer - SOC…

    Capgemini (Seattle, WA)
    **Job Description:** We are seeking a SoC Design Verification Engineer to join our team 100% onsite in either Seattle, WA or Santa Clara, CA. The ideal candidate ... areas in addition to functional verification : + SystemVerilog Assertions (SVA) + Formal Verification + Emulation + Experience with EDA tools and scripting… more
    Capgemini (10/14/25)
    - Save Job - Related Jobs - Block Source
  • Principal Verification Engineer

    Microsoft Corporation (Austin, TX)
    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 (11/01/25)
    - Save Job - Related Jobs - Block Source
  • SystemVerilog/UVM Design Verification Test…

    US Tech Solutions (Goleta, CA)
    …to aid in co-simulation or system-level testing. + Experience in applying advanced verification techniques like formal verification or emulation. + ... Description:** + We are seeking a highly skilled and meticulous SystemVerilog/UVM Design Verification Test Engineer to play a crucial role in validating our… more
    US Tech Solutions (10/14/25)
    - Save Job - Related Jobs - Block Source
  • 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)
    - Save Job - Related Jobs - Block Source
  • Embedded Software Engineer Specialist

    Eaton Corporation (Southfield, MI)
    Eaton's Corporate Sector division is currently seeking a Embedded Software Engineer Specialist. This is a hybrid role at our Southfield, MI location. Relocation ... within the US is provided for this position. This Embedded Software Engineer Specialist position responsible for the implementation of embedded software solutions… more
    Eaton Corporation (10/04/25)
    - Save Job - Related Jobs - Block Source
  • ASIC Engineer , Design

    Meta (Sunnyvale, CA)
    …NOC, Memory and Peripheral Subsystems 9. Experience with Synthesis, Timing Closure and Formal Verification Methodology 10. Master's or PhD degree in Electrical ... learning, video transcoding and network acceleration. **Required Skills:** ASIC Engineer , Design Responsibilities: 1. Architecture exploration 2. Micro-architecture development… more
    Meta (10/30/25)
    - Save Job - Related Jobs - Block Source
  • RTL Manager

    Cadence Design Systems, Inc. (Austin, TX)
    …pre-silicon verification activities, including Lint, Clock Domain Crossing (CDC), Formal Verification (FV), and other quality checks. Collaboration: Work ... projects. This is a challenging and rewarding opportunity is for a highly motivated engineer with a passion for innovation and a proven track record of success in… more
    Cadence Design Systems, Inc. (09/24/25)
    - Save Job - Related Jobs - Block Source
  • First Year Student Intern - Engineering

    Caterpillar, Inc. (Kennett Square, PA)
    …abilities in roles including (but not limited to): + **Product Design:** Engineer components & systems for Caterpillar products to meet our customers' needs. ... [Sensors and actuators], speed calculation, injection/spark timing, memory management, CPU optimization, multi core design and implementation etc. In addition,… more
    Caterpillar, Inc. (09/19/25)
    - Save Job - Related Jobs - Block Source