Apple's Hardware Technologies Formal Verification team is looking for an AI/ML Engineer to integrate Artificial Intelligence with Formal Verification processes. The role focuses on developing AI-powered systems, particularly utilizing Large Language Models, to enhance formal verification on Apple Silicon. The engineer will collaborate with various teams to identify opportunities for AI applications that improve productivity and quality in hardware verification. This position requires a blend of AI expertise and a strong mathematical foundation to drive innovative solutions.

• A minimum of a bachelor's degree in a relevant field.
• A minimum of 10 years of relevant industry experience.
• Strong hands-on experience building AI/ML applications, particularly those leveraging Large Language Models.
• Demonstrated ability to take AI capabilities from prototype to production.
• Proficiency in Python and modern ML/AI frameworks and tooling.
• Background in formal methods, mathematical logic, or a strong mathematical foundation.
• Genuine interest in domain-specific AI applications.
• Experience working on or contributing to LLM tooling, frameworks, or infrastructure.
• Prior exposure to hardware design or verification concepts.
• Familiarity with formal methods, SAT/SMT solvers, model checking, or theorem proving.
• Experience with code generation or analysis tasks using LLMs.
• MS or PhD in Computer Science, Electrical Engineering, Mathematics, or a related field.

• Build domain-specific AI applications that leverage LLMs and other ML techniques to accelerate formal verification workflows.
• Develop and fine-tune LLM-based systems tailored to hardware verification tasks.
• Collaborate with formal verification engineers to understand FV methodologies and identify AI opportunities.
• Prototype novel AI-driven approaches for various formal verification tasks.
• Evaluate and integrate emerging AI/ML research into practical tools and workflows.
• Establish best practices and infrastructure for AI application development within the FV organization.

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