Two Research assistant 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 an MSc degree in computer science or mathematics from a leading university and have a good background in probability theory, computational complexity, algebra, and number theory.
The knowledge of cryptography, information theory, and game theory is a significant plus, but is not a prerequisite. The candidates must be fluent in written and spoken English.