Two post-doctoral positions are available within a recently-funded ERC AdG project PROCONTRA . The main topic of the PROCONTRA project are cryptographic protocols that use the so-called smart contracts.
This technology gained a significant momentum recently, mostly because of the success of blockchain technology that is closely related to it, yet, despite significant progress, it is still in a very early stage of development.
The PROCONTRA project aims to transfigure this emerging field into a mature science. In particular, the goal of the grant is to create a formal theory of protocols based on smart contracts, along with security models, formal proofs, and a set of mathematical tools to analyze their security.
As part of the project, we will also create new protocols of this type, and analyze existing protocols. The project will focus on mathematical formalism and formal security proofs of the proposed solutions.
The project team will also engage in dialogue with the community of blockchain practitioners.
The role of the successful candidates will be to do research on these topics together with the other group members. This includes participating in research seminars and meetings.
There will be no teaching duties.
Skills / Qualifications
The ideal candidates should have a PhD degree in computer science (or related field) from a leading university, and a proven record of publications in top cryptography / security conferences such as : CRYPTO, EUROCRYPT, ASIACRYPT, TCC, PKC, FSE, CHES, ACM CCS, IEEE S&P, Usenix Security, NDSS, and / or publications in top CS theory venues (such as : STOC, FOCS, ITCS).
Experience with smart contracts and blockchain is a significant plus, but is not required.