1 cloud-computing "https:" "https:" "https:" positions 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