1 distributed-computing-"https:" Postdoctoral positions at Aalborg University

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

Aalborg University | Denmark | about 19 hours 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