1 computer-science-quantum "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 6 hours ago

- Expertice and a strong profile in quantum computing. - Solid computer science and analytical skills, including modelling and verification, programming language theory or quantitative model checking