3 computer-science-quantum "https:" "https:" "https:" positions at Aalborg University in Denmark

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

Aalborg University | Denmark | 9 days 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

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

Aalborg University | Denmark | 10 days ago

checking for approximate analysis of distributed quantum system Prospective applicants for this PhD proposal should have the following qualifications: - M.Sc. degree in computer science, mathematics

PhD stipend in Quantum Information Processing in Networks

Aalborg University | Denmark | about 1 month ago

within the general study programme Electrical and Electronic Engineering, and available from January 1, or as soon as possible thereafter. The duration of the position is three years. In electronic