This role pays more than
92%
of similar roles. Most pay
$175,900–$225,000
— the shaded band above.
At the midpoint, this role pays about
$260k
versus about
$200k
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.
As a Senior Staff Formal Verification Engineer within the GPU ASICS Engineering team, you will work on the next generation of GPU designs to ensure high-performance graphics and advanced AI processing. You will be responsible for identifying critical graphics areas for formal methods, developing assertion-based verification testbenches, debugging RTL artifacts, and achieving sign-off matrices. The role involves collaborating with global system architecture, RTL design, and DV teams while engaging with EDA vendors to explore innovative methodologies. You must possess proficiency in industry standard formal tools, SystemVerilog Assertions, and various abstraction techniques for solving proof complexity. Experience with DPV, C2RTL SEQ, and RTL2RTL SEQ is preferred. This role addresses the technical challenge of implementing formal methods within a complex 3D graphics hardware pipeline to ensure robust functionality across data paths and interfaces.
Formal Methods
Model Checking
Theorem Proving
Jaspergold
VC-Formal
ACL2
HOL
C++
Python
TCL
Hardware Description Languages
micro-architecture
Instruction Set Architecture
Memory Consistency
Memory Coherency