2 embedded-system "https:" "https:" "https:" "https:" research jobs at Aalborg University

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

Aalborg University | Denmark | 18 days ago

and Distributed Systems: https://www.cs.aau.dk/research/distributed-embedded-intelligent-systems/ The Department of Computer Science features a broad range of synergistic activities within research and

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

Aalborg University | Denmark | 2 months ago

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