below marketmost similar roles pay hereabove market
This role pays more than
91%
of similar roles. Most pay
$177,200–$223,000
— the blue band above.
At the midpoint, this role pays about
$255k
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
575 open roles
on FindRole.
Listed pay typically runs
$147,900–$221,900
across 550 roles with salary data.
The Senior Staff Formal Verification Engineer joins the GPU ASICS Engineering team to deploy formal methods on next-generation GPU designs. This role involves identifying critical graphics areas for verification, strategizing formal property verification test plans, and developing assertion-based verification testbenches. The engineer will debug RTL artifacts, achieve formal sign-off matrices, and collaborate with global system architecture, RTL design, and DV teams. Key responsibilities include engaging with EDA vendors to explore innovative methodologies and solving formal proof complexity using abstraction techniques. Required skills include proficiency with industry-standard formal tools, writing SystemVerilog Assertions, and deep bug-hunting. Candidates should possess experience in 3D graphics hardware pipelines and potentially other formal applications like DPV, C2RTL SEQ, and RTL2RTL SEQ to ensure high-performance video streaming and advanced graphics.
Formal Verification
Model Checking
Theorem Proving
Jaspergold
VC-Formal
ACL2
HOL
C++
Python
TCL
Hardware Description Languages
Microprocessor Architecture
Instruction Set Architecture
Floating-Point Math
Memory Consistency
Memory Coherency
Security Architectures
Automation