Apple
Formal Verification Engineer
$185K–$325K
Austin, Texas +2 · Full-time · Posted Apr 10, 2026
- Location
- Austin, Texas
Beaverton, Oregon
Cupertino, California - Experience
- Minimum of 10 years of relevant industry experience in silicon validation software engineering or a related field.
- Education
- Minimum of a BS degree.
About the job
Own formal verification for SoC design blocks and IP, focusing on security requirements, proving design properties, and improving verification methodologies.
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.
- Develop reusable formal models and verification code, and create methodologies to improve verification efficiency.
What they ask for
- BS degree.
- At least 10 years of relevant industry experience in silicon validation software engineering or a related field.
Nice to have
- Knowledge of formal methods or formal verification technologies.
- Experience interpreting hardware specifications and proficiency in a scripting language.
Pay
$184,700 to $324,800 USD base salary
Tools
SoC, CPU, Cellular, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP
Model-written summary · the original posting is authoritative