PostDoc/Senior Researcher in Smart Contract Security Analysis using Formal Methods
Open Post-doc/senior researcher position working on smart contract security analysis using formal methods in the Cryptography and Blockchain Lab at the University of Warsaw, Poland. Read More …