• 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 ... shine as a leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks, etc. You will model and… more
    RTX Corporation (08/01/25)
    - Related Jobs
  • Software Test & Verification

    The Boeing Company (El Segundo, CA)
    …future with us. The Boeing Company is looking for a **Software Test & Verification Engineer (Experienced / Senior)** to join the Ground Software Engineering team ... clear exhibition of superior judgment and decision making to engineer new solutions and capabilities. Critical thinking...Reviews (TRR). + Leading Software Test Team in the formal verification of the software requirements. +… more
    The Boeing Company (09/26/25)
    - Related Jobs
  • ASIC/FPGA Lead Verification Engineer

    Lockheed Martin (Denver, CO)
    **Description:** Join Our Team as an **ASIC & FPGA Lead Verification Engineer ** where you will support over 50 different programs and research and development ... ensuring security and prosperity\. Join us in shaping a new era in space and find a career that's...seeking a highly talented and motivated **ASIC & FPGA Verification Engineer ** who has a passion for… more
    Lockheed Martin (07/12/25)
    - Related Jobs
  • Senior Design Verification Engineer

    Microsoft Corporation (Mountain View, CA)
    …and optimize the Cloud infrastructure. We are looking for a **Senior Design Verification Engineer ** to join the team. **Responsibilities** + Perform pre-silicon ... cloud business continues to grow the ability to deploy new offerings and hardware infrastructure on time, in high...Perl + Hands-on experience in Formal property verification , formal verification of computational… more
    Microsoft Corporation (09/26/25)
    - Related Jobs
  • Design Verification Engineer

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

    Microsoft Corporation (Hillsboro, OR)
    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
  • Senior Verification Engineer

    Microsoft Corporation (Austin, TX)
    …manage and optimize the Cloud infrastructure. We are looking for a **Senior Verification Engineer ** to join the team. **Responsibilities** + Establish yourself ... cloud business continues to grow the ability to deploy new offerings and hardware infrastructure on time, in high...environments in industry standard languages like SVTB UVM or formal verification . **Other Requirements:** Ability to meet… more
    Microsoft Corporation (09/25/25)
    - Related Jobs
  • Staff ASIC Design Verification

    Google (Mountain View, CA)
    Staff ASIC Design Verification Engineer , Platforms and Devices + _link_ Copy link + _email_ Email a friend _corporate_fare_ Google _place_ Mountain View, CA, USA ... emphasis on computer architecture. + 12 years of experience with building verification methodologies that span simulation, formal , emulation and FPGA… more
    Google (10/01/25)
    - Related Jobs
  • Senior Circuit Verification Engineer

    NVIDIA (Santa Clara, CA)
    We are now looking for a motivated Senior Circuit Verification Engineer to join our dynamic and growing team. Designing RAMs at leading edge process nodes ... of innovative circuits. + Support designer efforts in running formal verification , electronic rule checking, and other...products. + Engaging with industry tool AEs to qualify new tool releases, learn about new tool… more
    NVIDIA (09/09/25)
    - Related Jobs
  • Senior Software Engineer -Test…

    The Boeing Company (Tukwila, WA)
    …a team, and the clear exhibition of superior judgment and decision making to engineer new solutions and support existing capabilities for multiple programs and ... The Boeing Company is looking for a **Senior Software Engineer - Test & Verification ** to join...Software Engineering organization. The Boeing KC-46 "Pegasus" is the new US Air Force aerial refueling tanker aircraft designed… more
    The Boeing Company (09/22/25)
    - Related Jobs