Senior Staff Formal Verification Engineer
Read straight from Qualcomm's careers page, verified 2d ago.Seekless can tailor your résumé to it.
Seekless can write your résumé for this posting first.
Before you apply
Salary$204k – $306k
LocationSan Diego, California, United States of America; Austin, Texas, United States of America; Santa Clara, California, United States of America
Work modeon-site
Typefull-time
SeniorityLead
Experience4+ yrs
DepartmentGPU ASICS Engineering
EquityIncluded
Company size10,000+ people
First seenNov 3, 2026 · 2d ago
Verified live2d ago
At a glanceSummarised by Seekless from the posting.
Bachelor's degree in Computer Engineering, Computer Science, Electrical Engineering, or related field and 6+ years of experience, OR Master's degree and 5+ years, OR PhD and 4+ years
Proficiency with industry standard formal tools, hands-on experience writing SystemVerilog Assertions, solving formal proof complexity by applying various abstraction techniques, deep bug-hunting, coverage closure and achieving sign-off
Hands-on experience in strategizing, brainstorming, and developing Formal Property Verification (FPV) test-plan, developing an assertion-based verification testbench, debugging all RTL artefacts, and achieving formal sign-off matrices
Identify the critical Graphics areas to verify with Formal methods
Collaborate with global GPU system architecture, RTL design, and DV teams
Engage with EDA vendors, explore new and innovative DV methodologies
Strong communication skills, ability to learn, improve, and deliver
Prior knowledge of GPU Architecture is a big plus
Hands-on experience in other formal applications like DPV, C2RTL SEQ, RTL2RTL SEQ, etc.
Skills
SystemVerilog
Formal Property Verification (FPV)
EDA tools
Benefits
Health insurance
401(k)
Bonus
RSU grants
Company:
Qualcomm Technologies, Inc.
Job Area:
Engineering Group, Engineering Group > GPU ASICS Engineering
General Summary:
About The Role
The Qualcomm® Adreno™ GPU takes PC platforms and mobile UI, games, and advanced graphics applications to the next level, providing users with stunning visuals and high-performance video streaming, enabling enhanced AI processing, and next-gen mobile gaming while optimizing power consumption.
In the fast-moving world of GPU Verification, Formal Methods are becoming crucial to the success of today’s ever-accelerating development cycle. Qualcomm’s GPU team is looking for engineers with experience in Formal Verification who desire to be at the cutting edge of applied formal methods. We are offering the chance to become part of a dedicated team that will deploy Formal on the next generation of GPU designs. This is an opportunity to influence design & verification decisions and shape the future of technology that will fuel billions of devices world-wide!
Responsibilities
In the role of GPU Senior Staff Formal Verification Engineer, your responsibilities will include the following:
•
Develop deep understanding of 3D Graphics hardware pipeline, feature sets, data paths, block functionalities & interfaces; Prior knowledge of GPU Architecture is a big plus.
•
Identify the critical Graphics areas to verify with Formal methods. Hands-on experience in strategizing, brainstorming, and developing Formal Property Verification (FPV) test-plan, developing an assertion-based verification testbench, debugging all RTL artefacts, and achieving formal sign-off matrices is a MUST.
•
Collaborate with global GPU system architecture, RTL design, and DV teams to achieve the project goals.
•
Engage with EDA vendors, explore new and innovative DV methodologies to push the limits of sign-off quality.
•
Required proficiency with industry standard formal tools, hands-on experience writing SystemVerilog Assertions, solving formal proof complexity by applying various abstraction techniques, deep bug-hunting, coverage closure and achieving sign-off.
•
Hands-on experience in other formal applications like DPV, C2RTL SEQ, RTL2RTL SEQ, etc. is a plus.
•
Strong communication skills, ability to learn, improve, and deliver
Minimum Qualifications:
• Bachelor’s degree in Computer Engineering, Computer Science, Electrical Engineering, or related field and 6+ years of Software Engineering, Hardware Engineering, Systems Engineering, or related work experience.
OR
Master’s degree in Computer Engineering, Computer Science, Electrical Engineering, or related field and 5+ years of Software Engineering, Hardware Engineering, Systems Engineering, or related work experience.
OR
PhD in Computer Engineering, Computer Science, Electrical Engineering, or related field and 4+ years of Software Engineering, Hardware Engineering, Systems Engineering, or related work experience.
Legal
Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e-mail [email protected] or call Qualcomm’s toll-free number found here. Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able participate in the hiring process. Qualcomm is also committed to making our workplace accessible for individuals with disabilities. (Keep in mind that this email address is used to provide reasonable accommodations for individuals with disabilities. We will not respond here to requests for updates on applications or resume inquiries).
To all Staffing and Recruiting Agencies: Our Careers Site is only for individuals seeking a job at Qualcomm. Staffing and recruiting agencies and individuals being represented by an agency are not authorized to use this site or to submit profiles, applications or resumes, and any such submissions will be considered unsolicited. Qualcomm does not accept unsolicited resumes or applications from agencies. Please do not forward resumes to our jobs alias, Qualcomm employees or any other company location. Qualcomm is not responsible for any fees related to unsolicited resumes/applications.
EEO Employer: Qualcomm is an equal opportunity employer; all qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability, Veteran status, or any other protected classification.
Qualcomm expects its employees to abide by all applicable policies and procedures, including but not limited to security and other requirements regarding protection of Company confidential information and other confidential and/or proprietary information, to the extent those requirements are permissible under applicable law.
Pay range and Other Compensation & Benefits:
$203,700.00 - $305,500.00
The above pay scale reflects the broad, minimum to maximum, pay scale for this job code for the location for which it has been posted. Even more importantly, please note that salary is only one component of total compensation at Qualcomm. We also offer a competitive annual discretionary bonus program and opportunity for annual RSU grants (employees on sales-incentive plans are not eligible for our annual bonus). In addition, our highly competitive benefits package is designed to support your success at work, at home, and at play. Your recruiter will be happy to discuss all that Qualcomm has to offer – and you can review more details about our US benefits at this link.
If you would like more information about this role, please contact Qualcomm Careers.