Apple
GPU Formal Verification Engineer
$150K–$278K
Santa Clara, California · Full-time · Posted Oct 26, 2026
- Experience
- Minimum of 3 years of relevant industry experience in silicon validation software engineering or related field.
- Education
- Bachelor’s degree.
About the job
Performs end-to-end formal verification of silicon design blocks and IP, proving design properties, finding bugs, and improving verification methods and micro-architecture.
What you'll do
- Develop formal micro-architecture specifications and verification plans, including security requirements.
- Prove design properties, identify bugs, and collaborate with design teams to improve micro-architecture.
- Build reusable formal models and verification code, and develop correct-by-construction design methodologies.
What they ask for
- Bachelor’s degree.
- At least 3 years of relevant industry experience in silicon validation software engineering or a related field.
Nice to have
- Interest in learning SoC, CPU, GPU, or Cellular design; knowledge of formal methods or formal verification technologies.
- Experience interpreting hardware specifications and proficiency in a scripting language with debugging skills.
Pay
$150,400 to $277,600 USD base salary
Tools
SoC, CPU, GPU, Cellular, Neural Networks IP
Model-written summary · the original posting is authoritative