Apple
Formal Verification Engineer
$116K–$195K
Austin, Texas +2 · Full-time · Posted Apr 13, 2026
- Location
- Austin, Texas
Beaverton, Oregon
Cupertino, California - Experience
- 0 years of experience required.
- Education
- Bachelor's degree in electrical engineering, computer engineering, or related field.
About the job
Performs formal verification for Apple Silicon design blocks and IPs, including security-focused specification, test planning, property proving, and verification methodology development.
What you'll do
- Develop formal micro-architecture specifications and verification plans, including security requirements.
- Prove design properties, find bugs, and work with design teams to improve micro-architecture.
- Develop reusable formal models and verification code, and architect correct-by-construction design methodologies.
What they ask for
- Bachelor's degree in electrical engineering, computer engineering, or a related field.
- Detail-oriented approach and desire to overcome challenges.
Nice to have
- Knowledge of Formal Method or Formal Verification technologies.
- Experience interpreting hardware specifications and proficiency in any scripting language.
Pay
$115,773 and $194,700 annualized (base salary range)
Model-written summary · the original posting is authoritative