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.