Apple Inc. is hiring a formal verification architect in Greater London. This role involves leading formal verification efforts for various design blocks and collaborating closely with design engineers to enhance the micro-architecture. Candidates should have hands-on experience in VLSI and digital logic design, advanced knowledge of SoC and CPU designs, and proficiency in scripting languages. A BS/MS/Ph.D in Electrical Engineering or Computer Science is required, along with a commitment to innovative verification solutions.
#J-18808-Ljbffr