Jobannonce: PhD scholarship in Verification of Concurrent and Distributed Applications

Gem
Danmarks Tekniske Universitet PhD scholarship in Verification of Concurrent and Distributed Applications

Danmarks Tekniske Universitet, Kongens Lyngby

We are looking for a bright and motivated PhD student for a 3-year PhD position starting October 1st, 2022 (negotiable). The project is financed by the Independent Research Fund Denmark, and it is a collaboration between DTU, Motorola Solutions Danmark A/S, the University of Malta, and Imperial College London. It is an excellent opportunity to be involved in advanced research on concurrent and distributed systems, with important practical applications.

The project goal is to develop new methods and tools to verify the correctness of distributed applications, by combining static verification (e.g. type-checking) and runtime verification (monitoring). We will tackle scenarios where heterogeneous software components are expected to interact correctly but cannot be fully verified before deployment: this is a common scenario in microservices, IoT, and edge computing.