Formal Verification Engineer

Apple's Silicon Technologies group is seeking a Formal Verification Engineer to join their world-class team working on next-generation processor and system-on-chip (SoC) development. This role offers a unique opportunity to work with the best Formal Verification team globally, focusing on ensuring the quality and functionality of Apple's cutting-edge silicon designs.

The position involves working on complex verification challenges for various IP blocks, including CPUs, Cellular and Connectivity IP, Audio and Image Processing IP, Neural Networks IP, and more. You'll be at the heart of SoC design verification, collaborating directly with design teams to develop specifications, create verification plans, and implement sophisticated verification solutions.

This role is perfect for someone who combines technical expertise in hardware verification with a passion for quality and attention to detail. You'll be responsible for developing formal micro-architecture specifications, proving design properties, and creating reusable verification frameworks that ensure the reliability of Apple's silicon products.

The position offers competitive compensation, comprehensive benefits, and the opportunity to work on products that impact millions of users worldwide. You'll be part of a team that values innovation, collaboration, and technical excellence, with access to cutting-edge tools and methodologies in silicon design verification.

Working at Apple's Silicon Technologies group means being at the forefront of processor technology, contributing to the development of chips that power some of the world's most popular devices. The role offers significant growth potential and the chance to learn from industry experts while working on challenging and meaningful projects.