Q

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

Qualcomm

Hod Hasharon, Center District, Israel FULL_TIME April 12, 2026
Apply Now

Opportunity 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...

  • FULL_TIME Computer Occupations

    Ready to Apply?

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

    Apply for this Position