This listing doesn't post a salary. Most similar roles pay
$174,000–$246,150.
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.
Apple's Hardware Technologies Formal Verification team is hiring an experienced AI/ML Engineer to develop and enhance AI-powered systems for formal verification on Apple Silicon. This senior-level position involves building domain-specific applications using Large Language Models (LLMs) and other ML techniques to streamline workflows from specification interpretation to proof debugging. The engineer will collaborate with formal verification, design, and EDA tool developers to identify opportunities where AI can significantly improve productivity and quality in hardware verification tasks. Key responsibilities include developing LLM-based systems for retrieval-augmented generation pipelines and agentic frameworks, prototyping novel approaches like automatic SVA property synthesis, and integrating emerging research into practical tools. The ideal candidate has extensive experience with Python, PyTorch, LangChain, and Hugging Face, along with a strong background in formal methods and mathematical logic, and the ability to transition AI prototypes to production-quality applications.
Python
PyTorch
LangChain
LlamaIndex
Hugging Face
RAG
LLMs
SVA
SystemVerilog
SAT/SMT
Model Checking
Theorem Proving
Version Control
Testing
API Design
CI/CD