Deliver end-to-end formal verification across CPU, GPU, Neural Networks, and Security IPs for Apple Silicon SoCs.
About the role
This role delivers complete formal verification for single or multiple design blocks and IPs across processor and system-on-chip (SoC) architectures. Coverage areas include CPU, GPU, Cellular and Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controllers, Security IP, and Interconnects.
What you'll do
- Collaborate with silicon design engineers to develop a formal micro-architecture specification.
- Develop comprehensive formal verification test plans that include unique security requirement verification.
- Prove properties of the design, identify design bugs, and work directly with design teams to improve micro-architecture.
- Model security attacks and prove the robustness of complex design micro-architectures.
- Develop and implement reusable, optimized formal models and verification code bases.
- Architect correct-by-construction design methodologies to increase formal verification efficiency and productivity.
What you'll need
- Bachelor's degree in a relevant field.
- Minimum of 3 years of relevant industry experience in silicon validation software engineering or a related field.
Nice to have
- Knowledge of Formal Method or Formal Verification technologies.
- Knowledge and experience in interpreting hardware specifications.
- Proficiency in any scripting language alongside debugging skills.
- Interest in SoC, CPU, GPU, or Cellular design.
Skills: Formal Verification, formal properties, test plan, SoC verification
More semiconductor jobs: Apple jobs · Verification engineer jobs
First seen in our index 0 days ago, well below the 61-day median for Design Verification roles.
Design Verification · Design Verification
|
Open roles in category
1353
|
Median days since first seen
61 d
|
Category median salary (all employers)
$185k
|
See the full market breakdown ▾Category comparison, skills in demand, and who else is hiring
| Metric | Apple | All employers we track in this specialty (1353 roles · 98 employers) |
|---|---|---|
| Open roles in this specialty | 108 | 1353 |
| Open roles in the wider Digital Design & Verification family | 180 | 3520 · 120 employers |
| Median days since first seen | 15 d | 61 d (+46 d vs this employer) |
| Median salary (USD postings) | n/a | $185k |
Skills observed across this category: Formal Verification, formal properties, test plan, SoC verification
Who's hiring in this category
- Qualcomm · 118 open roles · median 53 d
- Apple (this employer) · 112 open roles · median 14 d
- NVIDIA · 105 open roles · median 75 d
- AMD · 84 open roles · median 71 d
- Synopsys · 74 open roles · median 55 d
- SiFive · 57 open roles · median 69 d
How we counted: 1353 open Design Verification (Design Verification) roles from 98 employers tracked in the SemiconductorJobs index, counted 11 Nov 2026. Specialty figures count only roles carrying this exact specialty label, so an employer's related work in neighbouring specialties is not included there, and is counted in the wider Digital Design & Verification family row. Days are counted from when our index first saw each posting, not from the employer's original posting date.