2 distributed-systems "https:" Postdoctoral positions at Aalborg University in Denmark

Postdoc position in modeling and analysis of cyber-physical systems (DEIS)

Aalborg University | Denmark | 27 days ago

and Distributed Systems: https://www.cs.aau.dk/research/distributed-embedded-intelligent-systems/ The Department of Computer Science features a broad range of synergistic activities within research and

PostDoc in programming semantics, verification and reliability assurance of combined classical and quantum communicating and computing systems.(DEIS)

Aalborg University | Denmark | 2 months ago

and design challenges that address the following (but are not limited to) challenges for quantum computing and communicating systems: - Design and semantics of distributed quantum programming and