Formal Verification - AI/ML Engineer
Apple · Austin
About the role
Prototype and build LLM-based systems that improve formal verification of Apple silicon. Work with verification, design and EDA tool teams.
Read the full posting text
From Apple's job posting, shown as published. Last checked Oct 29, 2026.
Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the intersection of Artificial Intelligence and Formal Verification. In this role, you will explore, prototype, and build AI-powered systems — with a focus on Large Language Models — to augment and transform how formal verification is performed on Apple Silicon.
You will work closely with formal verification engineers, design engineers, and EDA tool developers to identify high-impact opportunities and deliver practical, domain-specific AI applications.
Other open roles at Apple
- Senior ML Infrastructure SREFirst seen yesterday
- Applied AI Engineer, Apple AdsFirst seen 3 days ago
- Software Engineer - Generative AI & ML, Customer SystemsFirst seen 8 days ago
- Software Engineering (AI/ML), Retail and Marcom EngineeringFirst seen 8 days ago
- Sr Software Engineer (Developer Advocacy, GenAi), Ai & Data PlatformsFirst seen 9 days ago
- Machine Learning Engineer - Strategic Data SolutionsFirst seen Oct 15, 2026
- Senior Cloud Infrastructure and AI Efficiency EngineerFirst seen Oct 15, 2026
- AI Evaluations Engineer, US Decision IntelligenceFirst seen Oct 15, 2026
Austin AI Live checks this posting every night. The summary is ours; the posting on Apple's site has the final word.