Senior CPU Formal Verification Engineer

Qualcomm; Santa Clara (CA); On-site; USD 142,000 - 213,000; Full time

Job summary

Qualcomm Technologies, Inc. is seeking a senior verification engineer to join the CPU group in Santa Clara.

You will sharpen formal verification skills on high‑end processor designs and drive end‑to‑end verification from architecture to micro-architecture. The role requires strong background in formal methods, model checking, programming (C++, Python, TCL) and experience with tools like JasperGold and VC-Formal.

Qualifications

• Bachelor's degree with 2+ years of hardware/software verification experience.
• Experience with model checking or theorem proving for complex systems.
• Ability to write assertions and modeling code in HDLs or prove correctness with formal methods.

Responsibilities

• Develop verification plans and schedules to formalize architecture to micro-architecture.
• Define formal verification architecture, test plans and end-to-end sign-off environments.
• Apply model-checking to hardware designs including proofs and architectural modeling.

Skills

C++

Python

TCL

Model checking

JasperGold

VC-Formal

ACL2

HOL

Education

Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field

Master's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field

PhD in Electrical Engineering, Computer Engineering, Computer Science, or related field

Tools

JasperGold

VC-Formal

ACL2

HOL

Job description

Qualcomm Technologies, Inc. is seeking a senior verification engineer to join the CPU group in Santa Clara.

You will sharpen formal verification skills on high‑end processor designs and drive end‑to‑end verification from architecture to micro-architecture. The role requires strong background in formal methods, model checking, programming (C++, Python, TCL) and experience with tools like JasperGold and VC-Formal.