Formal Verification Engineer

Apple's Silicon Technologies group is seeking a Formal Verification Engineer to join their world-class team. This role focuses on designing and manufacturing next-generation, high-performance, power-efficient processors and system-on-chip (SoC) solutions. As part of this position, you'll work with the industry's best Formal Verification team, being at the center of SoC design verification efforts.

The role involves comprehensive formal verification for various design blocks and IPs, including CPU, Cellular and Connectivity IP, Audio and Image Processing IP, Neural Networks IP, and Security IP. You'll collaborate closely with Apple's Security Enclave design engineers, developing formal micro-architecture specifications and verification test plans with a focus on security requirements.

This is an opportunity to work on technology that directly impacts millions of Apple users worldwide. You'll be responsible for proving design properties, identifying bugs, and implementing reusable verification solutions. The position offers competitive compensation ($143,100-$264,200), comprehensive benefits, and the chance to work with cutting-edge hardware technology.

The ideal candidate should have at least 3 years of experience in silicon validation, strong knowledge of VLSI and digital logic design, and expertise in formal verification methods. This role is perfect for someone passionate about hardware verification, security, and creating innovative solutions for complex technical challenges.