Formal Verification AI/ML Engineer

Apple Inc

Confirmed live yesterday High trust

Quick summary

Work type: On-site
Location: Cupertino, CA
Salary: $184,700–$324,800 / yr
Posted: 130 days ago
Freshness: Confirmed live yesterday
Nearby: 99+ roles within 25 mi

Market check

Salary context

Above market

How this pay compares to similar roles

Similar $193k

This role $255k

$125k most similar roles pay here $346k

This role pays more than 91% of similar roles. Most pay $168,500–$218,400 — the shaded band above. At the midpoint, this role pays about $255k versus about $193k 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 1984 open roles on FindRole.

Listed pay typically runs $175,000–$277,600 across 1590 roles with salary data.

Most-posted roles

View all roles at Apple Inc

At a glance

TL;DR · Formal Verification AI/ML Engineer

Role Posting Log in to save

The Formal Verification - AI/ML Engineer joins the Hardware Technologies Formal Verification team to work at the intersection of artificial intelligence and formal verification. This role involves building, prototyping, and deploying domain-specific AI applications that leverage Large Language Models to transform how formal verification is performed on Apple Silicon. Key responsibilities include developing RAG pipelines, agentic tool-use frameworks, and fine-tuning models for tasks like SVA property synthesis, proof debugging, and natural-language-to-formal-specification translation. The candidate will utilize Python and modern machine learning frameworks such as PyTorch, LangChain, LlamaIndex, and Hugging Face to create production-quality tools. The role addresses the technical challenge of automating hardware verification workflows by integrating advanced AI research into practical engineering solutions for property generation and counterexample analysis while collaborating with design engineers and EDA tool developers.

Skills

LLMs Python PyTorch LangChain LlamaIndex Hugging Face RAG Formal Verification SystemVerilog SVA SAT/SMT Solvers Model Checking Theorem Proving EDA Tools RTL Prompt Engineering Fine-tuning

What you'll do

Build domain-specific AI applications using LLMs and ML techniques to accelerate formal verification workflows.
Develop and fine-tune LLM-based systems including RAG pipelines, agentic tool-use frameworks, and domain-adapted models.
Prototype automated SVA property synthesis and natural-language-to-formal-specification translation tools.
Create AI-driven solutions for proof debugging, strategy recommendation, and intelligent counterexample analysis.
Evaluate and integrate emerging AI/ML research into production-quality tools for the formal verification team.
Establish best practices and infrastructure for AI application development within the organization.

What we're looking for

A bachelor's degree in a relevant field is required.
At least 10 years of relevant industry experience is required.
Experience building AI/ML applications using LLMs, including RAG architectures and agentic systems, is preferred.
Proficiency in Python and modern ML frameworks like PyTorch, LangChain, or Hugging Face is preferred.
A strong mathematical foundation or background in formal methods and logic is preferred.
Experience taking AI capabilities from prototype to production-quality tools is preferred.
Knowledge of hardware design or verification concepts such as RTL, SystemVerilog, and EDA tools is preferred.
An MS or PhD in Computer Science, Electrical Engineering, or Mathematics is preferred.

Save