Formal Verification Engineer

Apple's Silicon Technologies group is seeking a Formal Verification Engineer to join their team working on next-generation, high-performance, power-efficient processors and system-on-chip (SoC) designs. This role is part of the world's best Formal Verification team and focuses on ensuring the quality and security of Apple's silicon products.

As a formal verification engineer, you'll be responsible for:

• Collaborating with Security Enclave design engineers on formal micro-architecture specifications
• Developing comprehensive formal verification test plans including security requirement verification
• Proving design properties and identifying bugs while working closely with design teams
• Creating innovative solutions for modeling security attacks and proving complex design architectures
• Developing reusable formal models and verification code
• Implementing correct-by-construction design methodologies

This is an opportunity to work at the heart of Apple's silicon development, directly impacting millions of customers through high-quality functional products. You'll be part of a team that ensures Apple devices can seamlessly handle tasks that make them beloved by users worldwide.

The role offers the chance to learn from industry leaders and gain invaluable experience in SoC design verification. You'll be working with cutting-edge technology while contributing to products that define the future of computing.

The position combines technical expertise with collaborative teamwork, requiring both analytical skills and the ability to work effectively with various engineering teams. It's ideal for someone passionate about hardware verification, security, and creating innovative solutions for complex technical challenges.