Senior CPU Formal Verification Engineer - India
Originally posted 24 September 2026 by the employer.
About the role
This role involves owning formal strategies for advanced out-of-order (OoO) CPU cores. You will work closely with micro-architects and RTL designers to verify complex execution pipelines.
Skills: Formal Verification, CPU cores, Formal Test-plan, Formal Abstraction Techniques, VC Formal, JasperGold, assertion libraries
This role has been open 0 days — well below the 59-day median for Design Verification roles.
Design Verification · Design Verification
|
Open roles in category
1172
|
Median days open
59 d
|
Median salary
$188k
|
See the full market breakdown ▾Category comparison, skills in demand, and who else is hiring
| Metric | SiFive | All employers we track in this specialty (1172 roles · 95 employers) |
|---|---|---|
| Open roles in this specialty | 56 | 1172 |
| Open roles in the wider Digital Design & Verification family | 87 | 3097 · 114 employers |
| Median days open | 51 d | 59 d (−8 d vs this employer) |
| Median salary (USD postings) | — | $188k |
Skills observed across this category: Formal Verification, CPU cores, Formal Test-plan, Formal Abstraction Techniques, VC Formal, JasperGold
Who's hiring in this category
- Qualcomm · 113 open roles · median 48 d
- AMD · 106 open roles · median 34 d
- NVIDIA · 88 open roles · median 70 d
- Synopsys · 63 open roles · median 19 d
- SiFive (this employer) · 54 open roles · median 51 d
- Micron Technology · 53 open roles · median 106 d
How we counted: 1172 open Design Verification (Design Verification) roles from 95 employers tracked in the SemiconductorJobs index, counted 24 Sept 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.