1 cloud-computing-"https:" "https:" "https:" "https:" "https:" "https:" "https:" "https:" "https:" uni jobs at University of Southern Denmark in Denmark

DIAS Fellow in Formal Methods and Future Computing

University of Southern Denmark | Denmark | 3 months ago

methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices