Candidatei-me pessoalmente. Fui entrevistado pela Certora (Ramat Gan) em jun. de 2023
Entrevista
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.
Perguntas de entrevista [1]
Pergunta 1
Basically they wanted to see if I can understand a large code base quickly
