• ASIC Engineer, Formal Verification

    Meta (Boston, MA)
    **Summary:** Meta is hiring ASIC Formal Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Formal ... to build IP and System On Chip (SoC) for data center applications. As a Formal Verification Engineer, you will be part of a team working with the best in the… more
    Meta (08/01/25)
    - Related Jobs
  • Sr Principal Research Software Engineer,…

    RTX Corporation (Cambridge, MA)
    …Position may require some amount of overnight travel. **Qualifications We Prefer** + Formal verification tools such as SMT solvers and interactive theorem ... leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks, etc. You will model and analyze… more
    RTX Corporation (08/01/25)
    - Related Jobs
  • Senior Software Test & Verification

    The Boeing Company (El Segundo, CA)
    Formal Test Readiness Reviews (TRR). + Leading Software Test Team in the formal verification of the software requirements. + Leading Factory Acceptance Tests ... Company is looking for a **Senior Software Test & Verification Engineer** to join the Ground Software Engineering team...status of open issues identified during development, informal and formal test execution to closure to meet the deliverables.… more
    The Boeing Company (08/21/25)
    - Related Jobs
  • Silicon Verification Engineer

    ManpowerGroup (Mountain View, CA)
    …the Job?** + Focus on verifying the design of the ASIC/SoC using simulation, formal verification , and emulation. + Utilize tools like SystemVerilog, UVM, VHDL, ... understanding of digital design principles and computer architecture. + Experience with formal verification tools and methodologies. **What's in it for me?**… more
    ManpowerGroup (08/20/25)
    - Related Jobs
  • Design Verification Engineer

    Arrow Electronics (Mountain View, CA)
    …functional and technical specification documents * Implement and maintain integrated end-to-end formal verification flow for the formal verification ... **Position:** Design Verification Engineer **Job Description:** Principal Accountabilities * Responsible for architecting Verification Environment for ASIC SoC… more
    Arrow Electronics (06/26/25)
    - Related Jobs
  • Design Verification Engineer

    Amazon (Austin, TX)
    …. Participate in the validation of ASIC implementations in Verilog/SystemVerilog . Run formal verification of complex blocks to ensure functional correctness . ... Matlab model : development or DV integration experience - Familiarity with formal verification techniques - Strong written and verbal skills Amazon is an equal… more
    Amazon (07/04/25)
    - Related Jobs
  • Lead E/E & Semiconductor Engineer - SOC Design…

    Capgemini (Seattle, WA)
    …areas in addition to functional verification : + SystemVerilog Assertions (SVA) + Formal Verification + Emulation + Experience with EDA tools and scripting ... **Job Description:** We are seeking a SoC Design Verification Engineer to join our team 100% onsite...candidate will be responsible for defining and implementing SoC verification plans, building verification test benches for… more
    Capgemini (07/15/25)
    - Related Jobs
  • Custom SOC IP Verification Engineer

    NVIDIA (Santa Clara, CA)
    …or model integration. Ways to stand out from the crowd: + Experience with formal verification or assertion-based verification (SVA). + Knowledge of RISC-V ... NVIDIA is seeking a Senior Custom SOC/IP Verification Engineer to verify the next generation SoC...to be. This role specifically requires a skilled ASIC Verification Engineer with expertise in cache coherency protocols and… more
    NVIDIA (06/27/25)
    - Related Jobs
  • UVM/ SystemVerilog Design Verification

    US Tech Solutions (Goleta, CA)
    …such as Linux and Android would be a plus. + Experience in assertions and formal verification is preferred. + Experience in JTAG is preferred. + Experience in ... **Job Description:** + The project relates to the design and verification of a custom controller for analog components. The controller has interfaces such as SPI,… more
    US Tech Solutions (08/09/25)
    - Related Jobs
  • Senior Firmware Verification Engineer…

    RTX Corporation (Marlborough, MA)
    …Prefer** * Experience with FPGA design implementation using VHDL design language * Performed Formal Verification * Created scripts in TCL, Perl, or Python for ... world safe from foreign threats. As a **Senior Firmware Verification Engineer** , you will be a member of...of an Integrated Program Team (IPT)) creating complex Firmware Verification solutions for Field Programmable Gate Arrays (FPGAs), System… more
    RTX Corporation (08/01/25)
    - Related Jobs