Formal Verification Engineer
Core
Design and manufacture next-generation, high-performance, power-efficient processor and system-on-chip (SoC) for Apple products and services.
Role type
Formal Verification Engineer (SoC Design)
Builds
High-performance, power-efficient processor and system-on-chip (SoC) designs
Domain
Semiconductor / Hardware Design
Required skills
Formal verification, micro-architecture specification, security requirement verification, design bug finding, formal modeling, verification code development, design methodology architecture
Preferred skills
SoC, CPU, GPU, or Cellular design knowledge, hardware specification interpretation, scripting languages, debugging
Technologies
Formal verification tools, security enclave design frameworks
Responsibilities
Develop formal micro-architecture specifications with security engineers, create comprehensive formal verification test plans, prove design properties and find bugs, model security attacks to prove robustness, implement reusable formal models and verification code, architect correct-by-construction design methodologies
Seniority
Entry-level, hands-on IC
