I applied through a recruiter. The process took 1 day.
First is a screening round, mostly focused on resume and a coding exercise on CoderPad. Then, if selected, candidates proceed to 5–7 panel rounds. The interviewer didn't interact much during the interview.
Discussed verification projects in resume, and how formal and functional verification are different.
On CoderPad, he gave an RTL code and asked to:
The following metrics were computed from 4 interview experiences for the Apple Formal Verification Engineer role in Cupertino, California.
Apple's interview process for their Formal Verification Engineer roles in Cupertino, California is extremely selective, failing the vast majority of engineers.
Candidates reported having very good feelings for Apple's Formal Verification Engineer interview process in Cupertino, California.