About the role
As a Formal Verification Engineer in the Silicon Technologies group, you will execute complete formal verification for single or multiple design blocks and IPs across Apple products. Verification scope spans blocks and subsystems such as CPU, GPU, Cellular and Connectivity, Neural Networks, Memory/DMA Controllers, Security IP, and Interconnects.
What you'll do
- Collaborate with design engineers to develop formal micro-architecture specifications.
- Develop comprehensive formal verification test plans, including unique security requirement verification.
- Prove properties of the design, identify design bugs, and work with design teams to improve micro-architecture.
- Develop solutions for modeling security attacks and proving the robustness of complex design micro-architectures.
- Develop and implement re-usable, optimized formal models and verification code bases.
- Architect correct-by-construction design methodologies to enhance formal verification efficiency and productivity.
What you'll need
- Bachelor's degree in silicon validation, software engineering, or a related 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 with 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.