As a formal verification engineer in Apple's Silicon Technologies group, you will play a crucial role in ensuring the quality and functionality of next-generation processors and system-on-chip designs. You will collaborate with design teams to develop formal verification methodologies that enhance the robustness of complex micro-architectures. This position requires a detail-oriented approach to tackle intricate challenges in silicon validation. Your work will directly impact the performance and reliability of Apple products used by millions worldwide.

• A minimum of a bachelor's degree in a relevant field.
• At least 3 years of relevant industry experience in silicon validation software engineering or a related field.
• Hands-on experience with VLSI and digital logic design and verification techniques.
• Interest in learning and becoming an expert in SoC, CPU, GPU, or Cellular designs.
• Knowledge of Formal Method or Formal Verification technologies is a plus.
• Experience with temporal logic assertion-based languages such as SVA or PSL.
• 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, find design bugs, and collaborate closely with design teams to improve the micro-architecture.
• Craft novel and creative solutions for modeling security attacks and proving the robustness of complex design micro-architectures.
• Develop and implement reusable and optimized formal models and verification code base.
• Architect correct-by-construction design methodologies for improved formal verification efficiency and productivity.

• 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.