Formal Verification - AI/ML Engineer

Apple Inc

Quick summary

Work type: On-site
Location: Cupertino, CA
Salary: $181,100–$318,400 / yr
Posted: 32 days ago

Market check

Salary context

Above market

How this pay compares to similar roles

Similar $210k

This role $250k

$143k most similar roles pay here $337k

This role pays more than 80% of similar roles. Most pay $174,000–$245,287 — the shaded band above. At the midpoint, this role pays about $250k versus about $210k for comparable roles.

Based on 240 similar postings.

Employer

About Apple Inc

Apple Inc. is a multinational technology company known for designing and manufacturing consumer electronics, software, and online services, including the iPhone, Mac, iPad, and App Store. Industry: Consumer Electronics & Software

Apple Inc currently has 638 open roles on FindRole.

Listed pay typically runs $171,600–$272,100 across 505 roles with salary data.

Most-posted roles

View all roles at Apple Inc

At a glance

TL;DR · Formal Verification - AI/ML Engineer

Apply Now Log in to save

Apple's Hardware Technologies Formal Verification team is hiring an experienced AI/ML Engineer to develop and integrate advanced AI systems into formal verification processes for Apple Silicon. This senior-level position involves building domain-specific applications using Large Language Models (LLMs) and other machine learning techniques to enhance various stages of the verification workflow, from specification interpretation to proof debugging. The ideal candidate will collaborate closely with formal verification engineers and EDA tool developers to identify opportunities where AI can significantly improve productivity and quality. Key responsibilities include prototyping novel approaches for tasks such as natural-language-to-formal-specification translation and intelligent counterexample analysis, while also evaluating and integrating cutting-edge research into practical tools. Proficiency in Python and modern ML frameworks like PyTorch and Hugging Face is essential, along with a strong background in formal methods or mathematical logic and experience in shipping AI-powered applications.

Skills

Python PyTorch LangChain LlamaIndex Hugging Face RAG LLMs SVA SystemVerilog SAT/SMT Model Checking Theorem Proving Version Control Testing API Design CI/CD

What you'll do

Develop AI/ML applications that accelerate formal verification workflows on Apple Silicon.
Fine-tune Large Language Models for hardware verification tasks and develop RAG pipelines.
Collaborate with formal verification engineers to identify opportunities for AI improvement.
Prototype novel AI-driven approaches for automatic SVA property synthesis and more.
Integrate emerging AI/ML research into practical, production-quality tools used by FV team.

What we're looking for

At least 10 years of relevant industry experience and a bachelor's degree in a related field.
Strong hands-on experience building AI/ML applications with Large Language Models (LLMs).
Proficiency in Python and modern ML/AI frameworks like PyTorch, LangChain, Hugging Face.
Background in formal methods or mathematical logic with a quantitative mindset.
Experience taking AI capabilities from prototype to production deployment.
Software engineering best practices including version control, testing, API design.

Similar roles

Formal Verification - AI/ML Engineer

Apple Inc

Austin, TX 32 days ago

Python PyTorch LangChain LlamaIndex Hugging Face RAG architectures LLM-based tool chains version control testing API design formal methods SAT/SMT solvers model checking theorem proving code generation analysis tasks Large Language Models prompt engineering fine-tuning

Save

AI/ML Engineer

Lam Research

Fremont, CA 64 days ago $119,000–$261,000

Python C++ PostgreSQL SQLite MySQL Git Domain-Driven Design Test-Driven Development CI/CD

Hybrid

Save

AI/ML Engineer

Booz Allen Hamilton

Norfolk, VA 3 days ago

Spark Hadoop Databricks Python Java Scala R TensorFlow Keras PyTorch CI/CD MLOps Git Jupyter Notebook PostgreSQL MongoDB AWS Azure Google Cloud Platform Kubernetes Docker

Save