2 parallel-and-distributed-computing-"UNIS" positions in Denmark

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...

Nature Careers | Odense C, Region Syddanmark | Denmark | 23 days 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 Computer Science with a focus on Automated Reasoning, Logic

University of Southern Denmark | Denmark | 1 day ago

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