Formal Verification Engineer

Job Description

As a formal verification engineer working on complete formal verification for single or multiple design blocks and IPs, you will be responsible for developing formal micro-architecture specifications, creating formal verification test plans, proving design properties, and more.

Requirements

• Master's degree in Electrical Engineering
• Detail oriented approach and desire to overcome challenges
• Formal Method or Formal Verification technologies knowledge
• Proficiency in any scripting language with excellent debugging skills

Responsibilities

• Developing formal micro-architecture specifications
• Creating formal verification test plans
• Proving design properties
• Crafting solutions for modeling security attacks
• Developing re-usable formal models and verification code base
• Architecting design methodologies for improved formal verification efficiency

Benefits

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