**Role Number:** 200661334-0157

**Summary**
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.

**Description**
You will be responsible for:
Building domain-specific AI applications that leverage LLMs and other ML techniques to accelerate formal verification workflows — from specification interpretation to property generation, proof debugging, and beyond.
Developing and fine-tuning LLM-based systems tailored to hardware verification tasks, including retrieval-au...