This role pays more than
65%
of similar roles. Most pay
$177,200–$239,462
— the shaded band above.
At the midpoint, this role pays about
$214k
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.
As a Formal Verification Engineer within the Silicon Technologies group, you will perform complete formal verification for single or multiple design blocks and IPs, including CPU, Cellular, Connectivity, Audio, Image Processing, Neural Networks, Memory/DMA Controllers, Security IP, Power management subsystems, and Interconnects. You will collaborate with design engineers to develop micro-architecture specifications, create comprehensive test plans featuring unique security requirements, and prove properties of the design to identify bugs. Your daily work involves crafting novel solutions for modeling security attacks, building reusable formal models, and architecting correct-by-construction methodologies to improve verification efficiency. The role requires proficiency in scripting languages, experience interpreting hardware specifications, and knowledge of Formal Method or Formal Verification technologies. You will solve complex technical challenges related to the design and verification of high-performance, power-efficient system-on-a-chip architectures.