I applied in-person. I interviewed at Certora (Ramat Gan) in June 2023
Interview
I was given a a smart contract code, and was told to try to look for bugs. I was also asked on how I would verify certain properties hold in the given code.
Interview questions [1]
Question 1
Basically they wanted to see if I can understand a large code base quickly
