This role pays more than
75%
of similar roles. Most pay
$161,500–$216,062
— the shaded band above.
At the midpoint, this role pays about
$214k
versus about
$189k
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
1984 open roles
on FindRole.
Listed pay typically runs
$175,000–$277,600
across 1590 roles with salary data.
As a Formal Verification Engineer within the Silicon Technologies group, you will perform complete formal verification for various design blocks and IPs, including CPU, Cellular, Connectivity, Audio, Image Processing, Neural Networks, Memory/DMA Controllers, Security IP, Interconnects, and Power management subsystems. You will collaborate with design engineers to develop micro-architecture specifications, create comprehensive test plans involving unique security requirements, and prove properties of the design to identify bugs. Your daily work involves crafting creative solutions for modeling security attacks, building reusable formal models, and architecting correct-by-construction methodologies. The role requires expertise in VLSI, digital logic design, and formal methods. You will utilize temporal logic assertion-based languages like SVA or PSL, employ EDA formal tools, and use various scripting languages to ensure the robustness of complex System-on-a-Chip micro-architectures while addressing memory consistency and cache coherence principles.