Senior AI/ML ASIC Design Verification (Formal) Engineer

Company:

Job Area:

General Summary:

QUALCOMM is the world's leading developer of next-generation wireless and multimedia technology.

We are seeking an ASIC Design Verification engineer to help build world-class AI/ML hardware IP for upcoming compute and multimedia products. The ideal candidate has experience in formal verification (FPV/DPV) or assertion-based verification, but strong candidates with functional verification background (UVM/SystemVerilog) and an interest in growing their skills in formal methodology are also encouraged to apply. This role offers an excellent opportunity to contribute to cutting-edge ML hardware while developing expertise across both formal and simulation-based verification flow.

As a member of the team, your responsibilities include:

• Collaborate closely with RTL design, architecture, and verification...