← All roles

AI/ML Engineer, Formal Verification

Apple
Apply on company site
Hybrid (Austin, TX), Hybrid (Cupertino, CA)Posted 5mo ago

About the role

Apple's Hardware Technologies Formal Verification team seeks an AI/ML Engineer to explore, prototype, and build AI-powered systems (with a focus on Large Language Models) to augment formal verification of Apple Silicon. The role involves collaborating with FV engineers, design engineers, and EDA tool developers to identify high-impact AI opportunities and deliver practical domain-specific AI applications.

Responsibilities

  • 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-augmented generation (RAG) pipelines, agentic tool-use frameworks, and domain-adapted models.
  • Collaborating with formal verification engineers to deeply understand FV methodologies, pain points, and opportunities where AI can meaningfully improve productivity, quality, and coverage.
  • Prototyping novel AI-driven approaches for tasks such as automatic SVA property synthesis, natural-language-to-formal-specification translation, proof strategy recommendation, and intelligent counterexample analysis.
  • Evaluating and integrating emerging AI/ML research into practical, production-quality tools and workflows used by the FV team.
  • Establishing best practices and infrastructure for AI application development within the FV organization.

Qualifications

  • A minimum of a bachelor's degree in relevant field and a minimum of 10 years of relevant industry experience.

Skills

Required:Large Language Models (LLMs)Prototype to production deploymentPython and ML frameworks (PyTorch, LangChain, LlamaIndex, Hugging Face)Formal methods / mathematical logicDomain-specific AI applicationsSoftware engineering best practicesCommunication and collaborationSelf-direction in ambiguous environments
Nice to have:LLM tooling / infrastructureHardware design/verification conceptsFormal methods / SAT/SMT / model checkingCode generation or analysis with LLMsAdvanced degree
Last updated Jun 26, 2026. Interested? Apply on the company site.

About Apple

Discover the innovative world of Apple and shop everything iPhone, iPad, Apple Watch, Mac, and Apple TV, plus explore accessories, entertainment, and expert device support.

Discover the innovative world of Apple and shop everything iPhone, iPad, Apple Watch, Mac, and Apple TV, plus explore accessories, entertainment, and expert device support.

AirPods Max 2Apple ArcadeApple CardApple Fitness+Apple MusicApple TVApple TV+Apple Watch Series 11
Company profileWebsite

More open roles at Apple