2 combinators-"https:" 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 | 14 days ago

Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance of combined classical and

Postdoctoral Position in Probabilistic Machine Learning for Spatio-Temporal Data Modelling

Aalborg Universitet | Denmark | about 2 months ago

scientific staff, 20 administrative staff, and approximately 1,200 students. Our research combines theoretical and applied work with a focus on both scientific excellence and societal impact. We collaborate