Got a text to schedule a quick call, asked about relocating and when can start, also asked me about some thing in my resume, what projects have I done, some details about them. then booked a technical interview.
Other Formal Verification Engineer interview reviews for Apple
I applied through a recruiter. I interviewed at Apple (Cupertino, CA) in Feb 2026
Interview
First is a screening round. Mostly focused on resume and a coding exercise on coderpad. Then if selected, candidate proceeds to 5-7 panel rounds. The interviewer didn't interact much during the interview.
Interview questions [1]
Question 1
Discussed about verification projects in resume, how is formal and functional verification different. On coderpad, he gave an RTL code and asked to identify different scenarios and write SV properties of them. The RTL had a buggy FSM and asked me to debug it.
Had a phone interview, asked about my resume question, and then some linux commands and Python programming.
Linux: how to create a file, how to find all file that contain FOO, with case sensitive and case insensitive.
Interview questions [1]
Question 1
Linux: how to create a file, how to find all file that contain FOO, with case sensitive and case insensitive.