[Skip to main content](#main-content)

[OpenNash Jobs](https://jobs.opennash.com/)
[Hiring report](/reports/hiring/) · [All Apple jobs](https://jobs.opennash.com/companies/apple/) · [Search jobs](/search/)

Apple

# Formal Verification - AI/ML Engineer

Cupertino, United States of America Operations 

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 →](https://jobs.apple.com/en-us/details/200661334/formal-verification-ai-ml-engineer)

[OpenNash Jobs](https://jobs.opennash.com/) / [Apple](https://jobs.opennash.com/companies/apple/) / Formal Verification - AI/ML Engineer

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

## At a glance
- Posted by the employer: May 4, 2026
- First seen by OpenNash: Jul 10, 2026
- Last checked: Oct 18, 2026
- Listed for: 167 days
- Location: Cupertino, United States of America[Apply on Apple’s careers site →](https://jobs.apple.com/en-us/details/200661334/formal-verification-ai-ml-engineer)

## More jobs at Apple

### [3rd Party IP Engineering Program Manager](https://jobs.opennash.com/companies/apple/jobs/d04e8da25906a35a3cfc/)

Cupertino, United States of America

### [AI Evaluations Engineer, US Decision Intelligence](https://jobs.opennash.com/companies/apple/jobs/a22a8acec6d7725a6fd8/)

Cupertino, United States of America

### [AI/ML Performance Analysis and Validation Engineer](https://jobs.opennash.com/companies/apple/jobs/c76be19361132604cc75/)

Cupertino, United States of America

### [AIML - Distinguished Engineer, Foundation Model](https://jobs.opennash.com/companies/apple/jobs/bc3c6650a69a30a3bbe0/)

Cupertino, United States of America

## Similar jobs at other companies

### [CPU Formal Verification Engineer](https://jobs.opennash.com/companies/qualcomm/jobs/bbab5f0f9c149727a826/)

Qualcomm · Santa Clara, California, United States of America

### [Principal Design Verification Engineer - Formal](https://jobs.opennash.com/companies/microsoft/jobs/63c5570160bfdee65271/)

Microsoft · United States, North Carolina, Raleigh, Texas, Austin, Oregon, Hillsboro, California, Mountain View

### [Senior Staff Formal Verification Engineer](https://jobs.opennash.com/companies/qualcomm/jobs/06d0a8e7015cead3b554/)

Qualcomm · San Diego, California, United States of America, Austin, Texas, Santa Clara

### [Senior Staff Engineer, GPU Design Verification (Formal Verification)](https://jobs.opennash.com/companies/samsung-electronics/jobs/70bfe6f1562a92bbc862/)

Samsung Electronics · San Jose, CA, USA

### [Staff GPU Design Verification Engineer – Formal Verification](https://jobs.opennash.com/companies/samsung-electronics/jobs/0a4cbd8cb1454ba6e1a8/)

Samsung Electronics · Austin, TX, USA

OpenNash lists jobs from employers’ own careers sites and does not handle applications.
Dates come from the employer where stated; “first seen” and “last checked” are our own observations.

OpenNash Jobs · Official listings with dates and links to the employer. [Weekly hiring report](/reports/hiring/) · [Methodology](/methodology/)