1 programming-language-"Prof"-"University-of-Strathclyde"-"Prof.-Dr" Postdoctoral positions at Aalborg Universitet

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

Aalborg Universitet | Denmark | 1 day ago

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