1 mathematical-analysis "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 | 2 months ago

(https://www.classique.aau.dk). CLASSIQUE will address a suite of fresh research challenges defined by the intersection of digital applications that have real-time requirements and quantum resources