Senior Formal Verification Architect - SoC/CPU

Apple is seeking a Formal Verification Architect to lead verification for various design blocks and IPs in St Albans, United Kingdom. This role involves working closely with design engineers to develop specifications, create verification test plans, and ensure design correctness.

Candidates should have experience in VLSI and digital logic design, with a strong emphasis on SoC technologies. The position offers the opportunity to collaborate on groundbreaking technology in a dynamic work environment.