×
Apply for Jobs Apply for Jobs Post a Job Post a Job Local Jobs Home
Register Here to Apply for Jobs or Post Jobs. X
More jobs:
AI Engineer (Applied/Software) Systems Engineer

LLM-Driven Formal Verification Engineer

Job in Cupertino, Santa Clara County, California, 95014, USA
Listing for: Apple Inc.
Full Time position
Listed on 2026-06-07
Job specializations:
  • Engineering
    AI Engineer (Applied/Software), Systems Engineer
Salary/Wage Range or Industry Benchmark: 181100 - 318400 USD Yearly USD 181100.00 318400.00 YEAR
Job Description & How to Apply Below
Apple Inc. is looking for an experienced AI/ML Engineer in Cupertino, California, to develop AI-powered systems that enhance formal verification on Apple Silicon. Candidates should have substantial experience in AI/ML application development, especially with Large Language Models. Responsibilities include building AI tools and collaborating across teams to leverage AI in formal verification. Apple offers a competitive salary range of $181,100 - $318,400, stock participation, and comprehensive benefits including medical coverage and educational reimbursements.
#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
Advanced Search