×
Register Here to Apply for Jobs or Post Jobs. X

AI​/ML Engineer Hardware Formal Verification & LLM Tools

Job in Cupertino, Santa Clara County, California, 95014, USA
Listing for: Apple Inc.
Full Time position
Listed on 2026-07-18
Job specializations:
  • Software Development
    AI Engineer (Applied/Software), Machine Learning/ ML Engineer, AI Reliability/ Performance Engineer
Salary/Wage Range or Industry Benchmark: 210000 - 310000 USD Yearly USD 210000.00 310000.00 YEAR
Job Description & How to Apply Below
Position: AI/ML Engineer for Hardware Formal Verification & LLM Tools

Apple Inc. is seeking an AI/ML Engineer to join the Hardware Technologies Formal Verification team in Cupertino. You will build AI-powered systems at the intersection of AI and formal verification, focusing on LLMs to augment FV workflows on Apple Silicon.

You will prototype, evaluate, and deploy AI applications, including RAG pipelines and agentic tool-use frameworks, while collaborating with FV engineers, design teams, and EDA tool developers to deliver domain-specific AI solutions.

#J-18808-Ljbffr
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
 
 
 
Search for further Jobs Here:
(Try combinations for better Results! Or enter less keywords for broader Results)
Location
Increase/decrease your Search Radius (miles)
0
200
Filters
Education Level
Experience Level (years)
Posted in last:
Salary