Formal Verification Engineer

As a formal verification engineer at Apple, you'll be part of the Silicon Technologies group, working on designing and manufacturing next-generation, high-performance, power-efficient processors and system-on-chip (SoC). You'll be responsible for complete formal verification of single or multiple design blocks and IPs, including CPU, Cellular and Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, and Power management subsystems.

Key responsibilities include:

• Collaborating with world-class design engineers to develop formal micro-architecture specifications
• Formalizing the refinement from architecture to micro-architecture
• Developing comprehensive formal verification test plans
• Proving properties of the design, finding design bugs, and working closely with design teams
• Crafting novel and creative solutions for verifying complex design micro-architectures
• Developing and implementing re-usable and optimized formal models and verification code base
• Architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity

This role offers the opportunity to work with the best Formal Verification team in the world and gain experience being at the center of a System-on-a-chip (SoC) design verification effort. You'll have a critical impact on delivering high-quality functional products to millions of customers quickly.

Apple is committed to inclusion, diversity, and creating an environment where individual imaginations can thrive. They offer various benefits and are dedicated to creating innovative products that change lives for the better.