The Formal Verification Engineer will work on Apple Silicon’s security enclave and other system-on-chip design blocks, developing formal micro-architecture specifications, security-focused verification test plans, formal models, verification code, and correct-by-construction methodologies. The role involves proving design properties, finding bugs, modeling security attacks, and collaborating with design teams to improve micro-architecture robustness and verification efficiency.
Every query opens live roles, salary samples, and market demand — tap a search to run it instantly.
Unlock powerful job search, personalized recommendations, and deep career insights from comprehensive, market-leading data and live market signals.
For job seekers
Upload your résumé, start a Job Search Thread, and let Metaintro rank real openings against your experience — then guide you from search to offer.
Match
Compare live roles against your current evidence.
Position
Turn proof projects into role-specific applications.
Improve
Use market feedback to keep the skill plan current.
Mac laptops and desktopsCupertino, CA
Discover the innovative world of Apple and shop everything iPhone, iPad, Apple Watch, Mac, and Apple TV, plus explore accessories, entertainment, and expert device support.
Customers and case studies
See customers and case studies