1 model-checking-"https:"-"UCL" Postdoctoral positions at Aalborg Universitet

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

Aalborg Universitet | Denmark | 3 months ago

infrastructure and lab facilities to conduct world-leading fundamental and applied research within verification and model checking, embedded and cyber-physical systems, data-intensive systems, AI, planning