APPLE is seeking a formal verification architect in Greater London. This role involves leading formal verification for design blocks and requires expertise in VLSI, CPU, GPU designs, and the ability to work with world-class design engineers. Candidates should have experience in generating formal property proofs, a BS/MS/Ph.D. in EE or CS, and strong interpersonal skills to work collaboratively in a team-focused environment. Passion for innovative solutions and proficiency in scripting and debugging are essential.
#J-18808-Ljbffr