ASIC Formal Verification Staff Engineer - Qualcomm, Hod Hasharon, Israel

Qualcomm
FULL_TIME Hod Hasharon, Center District Computer Occupations
Posted:
March 01, 2026
Location:
Hod Hasharon, Center District, Israel

Job Description


Company:

Qualcomm Israel Ltd.

Job Area:

Engineering Group, Engineering Group > Modem Technologies

General Summary:

We are looking for a Formal Verification expert specializing in RTL/ASIC verification to work on a new cutting-edge RISC‑V application processor. The role involves ownership of formal methodologies, verification strategy definition, and close collaboration with architecture and design teams to ensure full functional correctness of complex processor units.

An ideal candidate will have at least 8 years of work experience with various formal applications and tools.

This is a 5 days onsite position in Hod Hasharon

Responsibilities:

  • Understand high-level specifications and detailed requirements for application processor design logical units.

  • Collaborate with cross functional teams such as architecture, design, and software teams on for...

  • Apply for this Job

    Submit your application for the ASIC Formal Verification Staff Engineer - Qualcomm, Hod Hasharon, Israel position at Qualcomm.

    Apply Now Save for Later

    Job Overview

    Job Type: FULL_TIME
    Location: Hod Hasharon, Israel
    Posted: March 01, 2026
    Deadline: April 10, 2026