2 distributed-systems-phd "https:" Postdoctoral positions at Aalborg Universitet in Denmark

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

Aalborg Universitet | Denmark | about 1 month ago

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 education in

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

Aalborg Universitet | Denmark | 3 months ago

quantum programs - Statistical model checking for approximate analysis of distributed quantum systems Qualification requirements Appointment as postdoc requires academic qualifications at PhD level