The process involved a phone and then an onsite interview in Cupertino.

The process took more than a month.

First interview: The manager asked three puzzles, which were answered almost completely.

Second interview: An engineer asked questions about constrained random verification and reviewed my resume.

Onsite interviews: I was told there would be six interviews. If all went well after that, there would be a meeting with the manager; otherwise, it would be a rejection. All six interviews went well, and I then met for a seventh interview, which lasted 15 minutes.

I received an email a week later stating the position was mismatched and that there would be no offer. It is a rare case to receive a rejection after a seventh onsite interview.

Random number generations, assertions, constraints, etc.