GPU Formal Verification Engineer - Austin, United States
Originally posted 22 September 2026 by the employer.
This role focuses on formal verification for GPUs.
About the role
This role involves the complete formal verification for single or multiple GPU design blocks and IP's. You will contribute to the design verification effort for high-performance, power-efficient processors and system-on-chip (SoC) designs.
What you'll do
- Work with design engineers to develop a formal micro-architecture specification. - Develop comprehensive formal verification test plans, including unique security requirement verification. - Prove properties of the design, find design bugs, and improve the micro-architecture. - Create solutions for modeling security attacks and proving robustness of complex design micro-architectures. - Develop and implement reusable and optimized formal models and verification code base. - Architect correct-by-construction design methodologies for improved formal verification efficiency and productivity.
What you'll need
- Bachelor's degree. - Minimum of 3 years of relevant industry experience in silicon validation software engineering or related field.
Skills: Formal Verification, GPU, design blocks, micro-architecture specification, verification test plan
This role has been open 19 days — well below the 64-day median for Design Verification roles.
Design Verification · Design Verification
|
Open roles in category
1183
|
Median days open
64 d
|
Median salary
$187k
|
See the full market breakdown ▾Category comparison, skills in demand, and who else is hiring
| Metric | Apple | All employers we track in this specialty (1183 roles · 95 employers) |
|---|---|---|
| Open roles in this specialty | 29 | 1183 |
| Open roles in the wider Digital Design & Verification family | 72 | 3171 · 114 employers |
| Median days open | 22 d | 64 d (−42 d vs this employer) |
| Median salary (USD postings) | — | $187k |
Skills observed across this category: Formal Verification, GPU, design blocks, micro-architecture specification, verification test plan
Who's hiring in this category
- Qualcomm · 105 open roles · median 44 d
- AMD · 102 open roles · median 51 d
- NVIDIA · 73 open roles · median 65 d
- Synopsys · 61 open roles · median 27 d
- SiFive · 54 open roles · median 68 d
- Cadence Design Systems · 51 open roles · median 110 d
How we counted: 1183 open Design Verification (Design Verification) roles from 95 employers tracked in the SemiconductorJobs index, counted 11 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.