Formal Verification Engineer

Apple is seeking a talented Formal Verification Engineer to join their Silicon Technologies group, focusing on next-generation processor and system-on-chip (SoC) development. This role combines hardware expertise with formal verification methodologies to ensure the security and reliability of Apple's cutting-edge silicon designs.

As a formal verification engineer, you'll work with world-class Security Enclave design engineers to develop and implement comprehensive verification strategies for various IP blocks including CPU, Cellular and Connectivity, Audio and Image Processing, Neural Networks, Memory Controllers, and Security components. Your responsibilities will span from developing formal micro-architecture specifications to proving design properties and identifying potential security vulnerabilities.

The role requires a unique blend of technical skills in VLSI design, formal methods, and security principles. You'll be crafting novel solutions for modeling security attacks and proving the robustness of complex design micro-architectures. This position offers the opportunity to work with industry-leading tools and methodologies while contributing to products used by millions of customers worldwide.

Key aspects of the role include:

• Developing comprehensive formal verification test plans incorporating security requirements
• Working closely with design teams to improve micro-architecture through bug discovery and verification
• Creating reusable and optimized formal models and verification code
• Implementing correct-by-construction design methodologies
• Collaborating with various teams across Apple's silicon development ecosystem

The position offers competitive compensation ranging from $143,100 to $264,200, comprehensive benefits including medical/dental coverage, stock options, and educational reimbursement opportunities. Join Apple's Silicon Technologies group to be at the forefront of processor design verification and make a significant impact on next-generation Apple products.