Formal Verification Engineer

Do you love creating elegant solutions to highly complex challenges? As part of Apple's Silicon Technologies group, you'll help design and manufacture next-generation, high-performance, power-efficient processors and system-on-chip (SoC). You'll be responsible for formal verification of various design blocks and IP's including CPU, Cellular and Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, and more. Working with the best Formal Verification team in the world, you'll be at the center of SoC design verification efforts, ensuring Apple products can seamlessly handle tasks beloved by millions. The role involves developing formal micro-architecture specifications, comprehensive verification plans, proving design properties, and creating innovative solutions for security verification. You'll work closely with world-class Security Enclave design engineers and contribute to crafting the technology that fuels Apple's devices. This position requires expertise in VLSI, digital logic design, formal verification methods, and a strong background in hardware specifications and verification tools. The ideal candidate will have excellent debugging skills, strong interpersonal abilities, and a passion for developing world-class formal verification solutions.