below marketmost similar roles pay hereabove market
This role pays less than
56%
of similar roles. Most pay
$168,500–$224,125
— the blue band above.
At the midpoint, this role pays about
$185k
versus about
$196k
for comparable roles.
Based on 240 similar postings.
Employer
About Qualcomm
Qualcomm is a leading American semiconductor and telecommunications company based in San Diego, CA.
Qualcomm currently has
575 open roles
on FindRole.
Listed pay typically runs
$147,900–$221,900
across 550 roles with salary data.
The CPU Formal Verification Engineer joins the CPU Engineering team to apply formal methods to the verification of application processors. This role involves collaborating with the design team to understand intent, developing verification plans, and building end-to-end formal sign-off environments for CPU components. Key responsibilities include defining formal verification architecture, performing property verification, conducting math proofs, and executing architectural modeling and validation. Candidates must utilize model-checking technologies like Jaspergold and VC-Formal, or theorem-proving tools such as ACL2 and HOL. Required skills include writing assertions in Hardware Description Languages, proficiency in C++, Python, or TCL, and domain knowledge in microprocessor architecture, instruction set architecture, floating-point math, memory consistency, and security architectures to solve complex hardware verification problems.