2 quantum-computing PhD positions at Aalborg University

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

Aalborg University | Denmark | about 2 months 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

One or more PhD positions in quantum error correction and mitigation

Aalborg University | Denmark | 9 days ago

the area of quantum communication and networked quantum computation, dedicated to protocols and methods for combining quantum error correction and quantum error mitigation to achieve application-level