Formal Verification Engineer

Apple is seeking a Formal Verification Engineer to join their Silicon Technologies group, focusing on the design and manufacture of next-generation, high-performance processors and system-on-chip (SoC) solutions. This role is part of Apple's world-class Formal Verification team, placing you at the center of SoC design verification efforts.

As a Formal Verification Engineer, you'll be responsible for complete formal verification of single or multiple design blocks and IP's, 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. You'll work closely with Apple Silicon's Security Enclave design engineers to develop formal micro-architecture specifications and comprehensive verification test plans.

The role requires a strong background in silicon validation software engineering, with expertise in VLSI and digital logic design. You'll be crafting novel solutions for modeling security attacks, proving design robustness, and implementing reusable formal models. Your work will directly impact the quality and security of Apple's hardware products used by millions of customers worldwide.

Key responsibilities include developing formal verification test plans, proving design properties, finding and resolving design bugs, and architecting correct-by-construction design methodologies. You'll collaborate with design teams to improve micro-architecture and create efficient verification solutions.

The ideal candidate brings at least 3 years of relevant industry experience, strong technical skills in formal methods, and excellent interpersonal abilities. Knowledge of temporal logic assertion-based languages and CPU architecture is highly valued. This role offers the opportunity to work with cutting-edge technology while contributing to products that impact millions of users globally.

Join Apple's Silicon Technologies group to be part of a team that's pushing the boundaries of hardware innovation and security verification, ensuring Apple's devices maintain their reputation for excellence and reliability.