Apple Inc. in Cupertino, California, is seeking a Formal Verification Engineer to drive complete formal verification for multiple IPs within Apple Silicon.
You will work on security-focused verification for CPUs, memory controllers, and related IPs, interfacing with design teams to ensure robust micro-architectures and secure enclaves. As part of the Silicon Technologies group, you will craft verification plans, prove properties, and develop reusable models and tools to accelerate verification.
#J-18808-LjbffrFormal Verification Engineer: SoC Security & IP (Equity) in cupertino at Unknown Company
This position is listed as full time and onsite.