3 cloud-computing-"https:" "https:" "https:" "https:" positions at University of Southern Denmark

DIAS Fellow in Formal Methods and Future Computing

University of Southern Denmark | Denmark | 2 months ago

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

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Science with a focus on Automated Reasoning, Logic

University of Southern Denmark | Denmark | 3 months ago

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

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Formal Methods

University of Southern Denmark | Denmark | 3 months ago

(cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum and embedded cryptography, and quantum programming