2 cyber "https:" Postdoctoral positions at Aalborg Universitet

Postdoc position in modeling and analysis of cyber-physical systems (DEIS)

Aalborg Universitet | Denmark | about 1 month ago

in modeling and analysis of cyber-physical systems At the Technical Faculty of IT and Design, Department of Computer Science, a full-time postdoc position in modeling and analysis of cyber-physical

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