This role pays more than
96%
of similar roles. Most pay
$162,750–$214,500
— the shaded band above.
At the midpoint, this role pays about
$255k
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 join a team focused on the design and manufacture of high-performance, power-efficient system-on-a-chip (SoC) architectures. You will be responsible for performing complete formal verification for various design blocks and IPs, including CPU, memory controllers, security IP, and interconnects. Your daily work involves developing micro-architecture specifications, creating comprehensive test plans with unique security requirements, proving properties of the design, and finding bugs to improve micro-architecture. You will build reusable models, architect correct-by-construction methodologies, and model security attacks. The role requires expertise in VLSI, digital logic design, and formal methods. Key technical skills include proficiency in temporal logic assertion-based languages like SVA or PSL, experience with EDA formal tools, scripting for debugging, and knowledge of CPU instruction-set architectures and memory consistency principles.