1 model-checking 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 13 hours ago

, electrical engineering, communications engineering or similar - Solid computer science and analytical skills, including modelling and verification, programming language theory or quantitative model checking