Formal Verification - AI/ML Engineer
Listed on Apple’s official careers site. Posted May 4, 2026. Check that it is still open and apply there.
Apply on Apple’s careers site →Job description
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.
More jobs at Apple
3rd Party IP Engineering Program Manager
Austin, United States of America
AI Evaluations Engineer, US Decision Intelligence
Austin, United States of America
AI/ML Engineer (GenAI), G&A Solutions Engineering (GSE)
Austin, United States of America
Analog Layout Automation Engineer
Austin, United States of America
Similar jobs at other companies
CPU Formal Verification Engineer
Qualcomm · Santa Clara, California, United States of America
Principal Design Verification Engineer - Formal
Microsoft · United States, North Carolina, Raleigh, Texas, Austin, Oregon, Hillsboro, California, Mountain View
Senior Staff Formal Verification Engineer
Qualcomm · San Diego, California, United States of America, Austin, Texas, Santa Clara
Senior Staff Engineer, GPU Design Verification (Formal Verification)
Samsung Electronics · San Jose, CA, USA
Staff GPU Design Verification Engineer – Formal Verification
Samsung Electronics · Austin, TX, USA