Formal Verification Engineer

Apple's Silicon Technologies group is seeking a Formal Verification Engineer to join their world-class team. This role is crucial in designing and manufacturing next-generation, high-performance, power-efficient processors and system-on-chip (SoC). As part of this position, you'll work at the center of SoC design verification efforts, collaborating with design teams to ensure Apple products and services can seamlessly handle tasks that make them beloved by millions.

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, Memory/DMA Controller, Security IP, and more. You'll work closely with Security Enclave design engineers, develop formal micro-architecture specifications, and create comprehensive verification test plans with a focus on security requirements.

Key aspects include proving design properties, identifying bugs, and implementing optimized formal models. You'll be responsible for crafting innovative solutions for security attack modeling and developing reusable verification code bases. The position requires expertise in VLSI, digital logic design, and formal verification technologies, along with strong debugging and interpersonal skills.

This is an opportunity to work with the best Formal Verification team in the world, making a critical impact on delivering high-quality functional products to millions of customers. The role combines technical expertise with creative problem-solving, ensuring the robustness and security of complex design micro-architectures that power Apple's cutting-edge devices.