Description
Apple is hiring a Formal Verification Architect to lead formal verification for one or more SoC design blocks and IP, including CPU, cellular and connectivity, audio and image processing, neural networks, memory and DMA controllers, security, peripheral, interconnect, and power-management subsystems. The role collaborates with design engineers to develop formal micro-architecture specifications, create verification test plans, prove design properties, identify bugs, build reusable formal models and verification code, and architect correct-by-construction methodologies. Candidates need hands-on VLSI and digital logic design and verification experience, advanced SoC or CPU/GPU or cellular design knowledge, industrial-strength formal property proofs, and experience with hardware specifications, temporal logic, and EDA formal tools.
