-
available in Danish) and taxation . The successful candidate will be enrolled at this university in accordance with faculty regulations and the Danish Ministerial Order on the PhD Programme at
-
cheminformatics, differential privacy and cryptography. Artificial Intelligence, Cybersecurity and Programming Languages , focusing on choreographic programming, distributed computing (cloud, edge, IoT
-
, including interdisciplinary research and dialogue. Qualifications Successful applicants must: Hold a PhD or similar qualifications within relevant fields of Computer Science or Mathematics. Exhibit curiosity
-
Engineering Cybersecurity Distributed and Cloud Computing Operating Systems and Digital Infrastructure AI for Software Engineering Software Engineering for Internet of Things Software Engineering for Cyber
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
competences in formal methods and collaborate with us on ambitious formalisation projects. An ideal candidate: holds a PhD degree in computer science, or a PhD degree in mathematics, or equivalent; has a