Ferring Pharmaceuticals A/S
Jobannonce: PhD scholarship in Verification of Concurrent and Distributed Applications
OBS: annoncen er udløbet!
Denne jobannonce er ikke længere aktiv på Jobindex. Klik eventuelt på annoncen for at se, om virksomheden alligevel fortsat ønsker at modtage ansøgninger.
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.
Nordic Bioscience A/S
Danmarks Tekniske Universitet