Description
Apple is hiring a Formal Verification Architect to lead formal verification for single or multiple SoC design blocks and IP, including CPU, cellular, connectivity, audio, image processing, neural networks, memory, security, peripheral, interconnect, and power-management subsystems. The role involves developing micro-architecture specifications and formal test plans, proving design properties, identifying bugs, creating reusable formal models and verification code, and architecting correct-by-construction methodologies. Candidates need advanced knowledge of SoC, CPU, GPU, cellular, VLSI, and digital logic design and verification, industrial-strength formal proofs, hardware architecture expertise, formal verification and temporal-logic knowledge, and proficiency in scripting and debugging.
