I applied through their career website. They scheduled an interview with the hiring manager.
In the interview, they asked about what I did in my current position and a few general formal verification questions followed by technical and logical questions.
Interview questions [1]
Question 1
How do you verify a FIFO design formally?
Design of Round robin arbiter
For how many values of n does n/(2020-n) be the square of any integer?