Austin, Texas
•
Today
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.\\nYou will work closely with formal verification engineers, design engineers, and EDA tool developers to identify high-impact opportunities an
Full-time








