1 distributed-computing-"https:" PhD positions at Aalborg University in Denmark

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

Aalborg University | Denmark | about 1 hour ago

are not limited to) challenges for quantum computing and communicating systems: - Design and semantics of distributed quantum programming and modelling languages - Sound and complete deduction methods