PhD student position in formal verification, Göteborg (Sweden)

There is a PhD position open at Chalmers University of Technology, Gothenburg, Sweden, on the topic of Smart Contract Verification. The title of the position is: "Formal Verification of Blockchain Applications". The position is placed in the Formal Methods group, which is internationally recognised for its research in software verification. The research, also of this project, is performed in the context of international collaborations. The outcome of the specific research project will contribute to the safety of the arising digital market places in general, and blockchain applications in particular.