CPU Formal Verification Engineer
$142,200 - $213,400 USD yearly
Originally posted 7 August 2026 by the employer.
About the role
What you'll do
- Work with the design team to understand design intent and bring up verification plans and schedules, focusing on formalization of refinement from architecture to micro-architecture.
- Define formal verification architecture, develop test plans, and build end-to-end formal sign-off environments for Qualcomm CPU components.
- Deploy model-checking technology to hardware designs, including property verification, math proofs, and architectural modeling and validation.
What you'll need
- 8 years of practical experience in the application of formal methods in hardware or software.
- Strong model checking or theorem proving background/experience in verification of complex systems.
- Experience in writing assertions and associated modeling code in Hardware Description Languages or in proving correctness of architectural specifications using formal methods.
- Working familiarity with model checkers like Jaspergold and VC-Formal or theorem-proving tools such as ACL2 and HOL.
Nice to have
- MS/PhD degree in CS/EE with 4 years of practical experience.
- Strong foundation in formal methods and their application to hardware specifications and/or implementations.
- Domain knowledge in one or more of these areas: Microprocessor architecture and micro-architecture, instruction set architecture, floating-point math, memory consistency, memory coherency, security architectures.
- Strong software engineering skills with proven ability in automation and proficiency in at least one programming language (C, Python, TCL etc.).
Skills: formal verification, model-checking, CPU components, assertions, Jaspergold
This role has been open 71 days — slightly above the 65-day median for Design Verification roles.
Design Verification · Design Verification
|
Open roles in category
1202
|
Median days open
65 d
|
Median salary
$187k
|
See the full market breakdown ▾Category comparison, skills in demand, and who else is hiring
| Metric | Qualcomm | All employers we track in this specialty (1202 roles · 97 employers) |
|---|---|---|
| Open roles in this specialty | 110 | 1202 |
| Open roles in the wider Digital Design & Verification family | 381 | 3202 · 115 employers |
| Median days open | 38 d | 65 d (−27 d vs this employer) |
| Median salary (USD postings) | — | $187k |
Skills observed across this category: formal verification, model-checking, CPU components, assertions, Jaspergold
Who's hiring in this category
- Qualcomm (this employer) · 110 open roles · median 39 d
- AMD · 96 open roles · median 51 d
- NVIDIA · 84 open roles · median 59 d
- Synopsys · 64 open roles · median 33 d
- SiFive · 55 open roles · median 75 d
- Cadence Design Systems · 50 open roles · median 117 d
How we counted: 1202 open Design Verification (Design Verification) roles from 97 employers tracked in the SemiconductorJobs index, counted 18 Oct 2026. Specialty figures count only roles carrying this exact specialty label, so an employer's related work in neighbouring specialties is not included there — it is counted in the wider Digital Design & Verification family row. Figures refresh nightly.