Formal Verification Engineer
Core
Design and manufacture next-generation, high-performance, power-efficient processor and system-on-chip (SoC) for Apple products.
Role type
Senior IC 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 detection, formal modeling, verification code base architecture, hardware specification interpretation, scripting languages, debugging
Preferred skills
SoC, CPU, GPU, or Cellular design expertise, formal method technologies, hardware specification interpretation, scripting languages, debugging
Technologies
Formal verification tools, scripting languages
Responsibilities
Develop formal micro-architecture specifications for security enclave designs, create comprehensive formal verification test plans including security requirements, prove design properties and find bugs, craft solutions for modeling security attacks, develop reusable formal models and verification code, architect correct-by-construction design methodologies
Seniority
Senior, hands-on IC
