This role at Apple involves working on the formal verification of various design blocks and IPs, including CPU and connectivity components. The position requires collaboration with world-class SOC and IP design engineers to develop micro-architecture specifications and verification test plans. The focus is on improving micro-architecture through property proving, bug finding, and digital logic design. Candidates will also craft innovative solutions for verifying complex designs and implement efficient design methodologies.

• Master's degree or foreign equivalent in Electrical Engineering, Electronics Engineering, or a related field.
• 2 years of experience in design verification techniques, tools, and methodologies.
• 2 years of experience designing and implementing a verification environment using Verilog and System Verilog.
• 2 years of experience architecting correct-by-construction design methodologies.
• 2 years of experience utilizing scripting languages to develop and maintain verification infrastructure.
• 2 years of experience leveraging programming languages such as C and C++ for complex data path verification.
• 2 years of experience running regressions, including root cause analysis and bug tracking.
• 2 years of experience in SoC design and verification to drive and maintain deliverables.
• 2 years of experience leveraging design knowledge to improve SoC architecture.
• 2 years of experience in RTL debugging and digital system design.

• Work on the complete formal verification for single or multiple design blocks and IPs.
• Develop comprehensive verification test plans.
• Prove properties, find bugs, and perform digital logic design.
• Craft novel solutions for verifying complex design micro-architectures.
• Develop and implement reusable and optimized formal models and verification code.
• Architect correct-by-construction design methodologies for improved 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.