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 covers complex subsystems including CPU, GPU, Cellular and Connectivity, Neural Networks, Memory/DMA Controllers, and Security IP.
What you'll do
- Work 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, find design bugs, and collaborate with design teams to improve the 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 improve 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 with strong 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 2 days ago, well below the 59-day median for Design Verification roles.
Design Verification · Design Verification
|
Open roles in category
1412
|
Median days since first seen
59 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 (1412 roles · 101 employers) |
|---|---|---|
| Open roles in this specialty | 107 | 1412 |
| Open roles in the wider Digital Design & Verification family | 180 | 3617 · 122 employers |
| Median days since first seen | 17 d | 59 d (+42 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 · 138 open roles · median 52 d
- NVIDIA · 109 open roles · median 74 d
- Apple (this employer) · 107 open roles · median 17 d
- Synopsys · 90 open roles · median 53 d
- AMD · 81 open roles · median 65 d
- SiFive · 57 open roles · median 72 d
How we counted: 1412 open Design Verification (Design Verification) roles from 101 employers tracked in the SemiconductorJobs index, counted 14 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.