Formal Verification Engineer - NPU

Company:

Qualcomm Technologies, Inc.

Engineering Group, Engineering Group > DSP Architecture and Design

Qualcomm’s Hexagon DSP/Neural Processing Unit (NPU) team is seeking a skilled Senior Formal Verification Engineer to ensure the correctness and reliability of our next‑generation cores. You will apply formal methods to verify complex RTL designs, working closely with design and verification teams to deliver high‑quality silicon.

• Develop and execute formal verification strategies for hardware blocks within the Hexagon NPU architecture
• Use industry‑standard formal tools to prove or falsify assertions and analyze counterexamples
• Debug RTL designs based on formal results and contribute to design improvements
• Document verification plans, results, and coverage metrics to support sign‑off
• Integrate formal verification into the overall verification flow, complementing simulation‑based approaches.

• Master’s or Doctorate degree in Computer Engineering, Computer Science, or Electrical Engineering
• 3-5 years of experience in hardware design verification
• 3-5 years strong hands‑on experience with System Verilog assertion‑based verification techniques
• Familiarity with UVM and simulation‑based verification flows

• Proven expertise in driving formal verification to sign‑off for complex RTL
• Hands‑on experience with high‑performance processor designs and/or AI accelerator architectures
• Strong capability in decomposing and partitioning intricate designs to enhance formal verification efficiency
• Proficiency in scripting languages such as Python or Tcl for automation and tool integration

• Bachelor's degree in Electrical Engineering, Computer Science, Computer Engineering, or related field and 2+ years of Software Engineering, Electrical Engineering, Systems Engineering, or related work experience.
• Master's degree in Electrical Engineering, Computer Science, Computer Engineering, or related field and 1+ year of Software Engineering, Electrical Engineering, Systems Engineering, or related work experience.
• PhD in Electrical Engineering, Computer Science, Computer Engineering, or related field.
• 2+ years of experience with high‑performance microprocessor design.

Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e‑mail disability‑ or call Qualcomm's toll‑free number found here. Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able to participate in the hiring process.

Qualcomm is also committed to making our workplace accessible for individuals with disabilities.

$ - $

The above pay scale reflects the broad, minimum to maximum, pay scale for this job code for the location for which it has been posted. In addition, we offer a competitive annual discretionary bonus program and opportunity for annual RSU grants. Our highly competitive benefits package is designed to support your success at work, at home, and r recruiter will be happy to discuss all that Qualcomm has to offer.

More details about our U.S. benefits are available here.

If you would like more information about this role, please contact Qualcomm Careers.