Københavns Erhvervsakademi
Your browser (Safari 1.0) is more than 3 years old.
We recommend that you upgrade to the latest version. Otherwise we cannot guarantee that all functionality on Jobindex will work correctly.
Job ad: PhD scholarship in Verification of Concurrent and Distributed Applications
The job ad has expired!
Go to the ad to see if the company is still willing to receive applications.
PhD scholarship in Verification of Concurrent and Distributed Applications
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.
Recommended jobs
Region Hovedstaden
Region Hovedstaden
Region Hovedstaden