As a formal verification engineer in Apple's Silicon Technologies group, you will play a crucial role in designing and manufacturing high-performance, power-efficient processors and system-on-chip (SoC) solutions. You will collaborate with world-class design engineers to ensure the quality and robustness of complex micro-architectures. This position focuses on developing formal verification methodologies and test plans to validate design properties and security requirements. Your work will directly impact the delivery of high-quality functional products to millions of customers.

• Bachelor's degree in electrical engineering, computer engineering, or a related field
• Interest in learning and becoming an expert in SoC, CPU, GPU, or Cellular design
• Detail-oriented approach and desire to overcome challenges
• Knowledge of Formal Method or Formal Verification technologies is a plus
• Experience in interpreting hardware specifications
• Proficiency in any scripting language with excellent debugging skills
• Excellent interpersonal skills

• Work with Apple Silicon's Security Enclave design engineers to develop a formal micro-architecture specification
• Develop a comprehensive formal verification test plan that includes unique security requirement verification
• Prove properties of the design and find design bugs while collaborating with design teams
• Craft novel solutions for modeling security attacks and proving robustness of complex designs
• Develop and implement reusable and optimized formal models and verification code base
• Architect correct-by-construction design methodologies for improved formal verification efficiency

• Employees at Apple are often offered comprehensive benefits that support physical and mental well-being—flexible medical plans, confidential counseling, onsite wellness centers at major campuses, and resources for fitness and daily life. Families typically receive fertility support, paid parental leave with gradual return, caregiving leave, and dependent-care guidance, while financial perks commonly include stock grants (with purchase discounts), 401(k) matching, and income-protection coverage. Employees also see robust time off, Apple University learning and tuition reimbursement, donation matching and paid volunteer hours, and deep product and partner discounts.