← All roles

Formal Verification - AI/ML Engineer

Apple
Apply on company site
Cupertino, California, United States, Austin, Texas, United States$184.7k - $324.8kPosted 5mo ago

About the role

AI/ML Engineer focused on applying AI/ML (primarily LLMs) to formal verification of Apple Silicon. Responsibilities include building domain-specific AI applications, developing and fine-tuning LLM-based systems, prototyping AI-driven approaches for verification tasks, and integrating AI/ML research into production tools and workflows within the Formal Verification (FV) organization.

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.
  • Strong hands-on experience building AI/ML applications, particularly those leveraging Large Language Models (LLMs) — including prompt engineering, fine-tuning, RAG architectures, agentic systems, or LLM-based tool chains.
  • Demonstrated ability to take AI capabilities from prototype to production — you have shipped or deployed AI-powered tools or applications, not just trained models.
  • Proficiency in Python and modern ML/AI frameworks and tooling (e.g., PyTorch, LangChain, LlamaIndex, Hugging Face, or similar).
  • Background in formal methods, mathematical logic, or a strong mathematical foundation — formal methods, type theory, automated reasoning, mathematical logic, or applied experience.
  • Genuine interest in domain-specific AI applications.
  • Software engineering best practices — version control, testing, API design, and maintainable codebases.
  • Excellent communication and interpersonal skills.
  • Self-directed and comfortable with ambiguity.
  • Experience working on or contributing to LLM tooling, frameworks, or infrastructure (e.g., inference engines, model serving, evaluation harnesses).
  • Prior exposure to hardware design or verification concepts (RTL, SystemVerilog, assertions, EDA tools).
  • Familiarity with formal methods, SAT/SMT solvers, model checking, or theorem proving.
  • Experience with code generation or analysis tasks using LLMs.
  • MS or PhD in Computer Science, Electrical Engineering, Mathematics, or related field — exceptional industry experience also valued.

Skills

Required:Large Language Models (LLMs)PythonML frameworks and toolingFormal methods / mathematical logicSoftware engineering practicesCommunication and collaboration
Nice to have:Hardware verification conceptsCode generation / analysis with LLMs

Benefits

  • Base pay range between $184,700 and $324,800 (base pay depends on skills, qualifications, experience, and location).
  • Discretionary employee stock programs (stock options, restricted stock unit awards).
  • Apple Employee Stock Purchase Plan (discounted stock).
  • Comprehensive medical and dental coverage.
  • Retirement benefits.
  • Discounted products and free services.
  • Educational expense reimbursement (tuition).
  • Potential discretionary bonuses or commission payments and relocation.
Last updated Jul 10, 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