Apple
Formal Verification - AI/ML Engineer
$185K–$325K
Austin, Texas +1 · Full-time · Posted May 4, 2026
- Location
- Austin, Texas
Cupertino, California - Experience
- Minimum of 10 years of relevant industry experience.
- Education
- Minimum of a bachelor's degree in a relevant field.
About the job
Build AI-powered systems, especially LLM applications, that improve formal verification workflows for Apple Silicon.
What you'll do
- Develop domain-specific AI applications and LLM systems for verification tasks, including RAG pipelines and agentic tool use.
- Prototype approaches for property synthesis, specification translation, proof strategy recommendation, and counterexample analysis.
- Collaborate with verification and design engineers to identify opportunities and integrate AI research into production tools.
What they ask for
- Bachelor’s degree in a relevant field.
- At least 10 years of relevant industry experience.
Nice to have
- Hands-on experience building and deploying LLM/AI applications, including prompt engineering, fine-tuning, RAG, or agentic systems.
- Python and modern ML/AI frameworks; experience with formal methods, hardware verification, LLM tooling, or related areas.
Pay
$184,700 and $324,800 USD base salary
Tools
Python, PyTorch, LangChain, LlamaIndex, Hugging Face, SVA, SystemVerilog, RTL
AI focus
Apply and adapt LLMs and other ML techniques to formal verification, including property generation, specification translation, proof debugging, and counterexample analysis.
Model-written summary · the original posting is authoritative