This role pays less than
89%
of similar roles. Most pay
$177,200–$239,462
— the shaded band above.
At the midpoint, this role pays about
$155k
versus about
$208k
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
3518 open roles
on FindRole.
Listed pay typically runs
$166,600–$277,600
across 2727 roles with salary data.
Formal Verification Engineer will join the Silicon Technologies group to perform complete formal verification for single or multiple design blocks and IPs, including CPU, Cellular, Connectivity, Audio, Image Processing, Neural Networks, Memory/DMA Controller, Security, Peripheral IP, Interconnects, and Power management subsystems. The role involves collaborating with Security Enclave design engineers to develop micro-architecture specifications, creating comprehensive test plans with unique security requirements, proving properties, finding bugs, and improving micro-architectures. Responsibilities include crafting solutions for modeling security attacks, developing reusable formal models, and architecting correct-by-construction methodologies. Required skills include a degree in electrical or computer engineering, proficiency in scripting languages, and debugging skills. Preferred qualifications include knowledge of Formal Method or Formal Verification technologies and experience interpreting hardware specifications to ensure high-quality functional products within the System-on-a-chip design space.