J'ai postulé en personne. J'ai passé un entretien chez Certora (Ramat Gan) en juin 2023
Entretien
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.
Questions d'entretien [1]
Question 1
Basically they wanted to see if I can understand a large code base quickly
