1 simulation-model "https:" Postdoctoral positions at Aalborg University

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

Aalborg University | Denmark | 3 days ago

simulation of distributed quantum programs - Statistical model checking for approximate analysis of distributed quantum systems Qualification requirements Appointment as postdoc requires academic