This role pays less than
52%
of similar roles. Most pay
$168,500–$216,062
— the shaded band above.
At the midpoint, this role pays about
$178k
versus about
$192k
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
623 open roles
on FindRole.
Listed pay typically runs
$148,300–$222,500
across 603 roles with salary data.
The CPU Formal Verification Engineer joins the CPU Engineering team to perform formal verification of application processors. This role involves collaborating with design teams to understand intent, developing test plans, and building end-to-end formal sign-off environments for CPU components. The engineer will deploy model-checking technology across hardware designs, including property verification, math proofs, architectural modeling, and validation. Key responsibilities include writing assertions in Hardware Description Languages and proving the correctness of architectural specifications. Required skills include proficiency with tools like Jaspergold, VC-Formal, ACL2, or HOL, along with programming expertise in C++, Python, or TCL. The role addresses complex technical challenges in microprocessor architecture, instruction set architecture, floating-point math, memory consistency, memory coherency, and security architectures to ensure the integrity of the refinement from architecture to micro-architecture for next-generation processor designs.