2 computer-science-programming-languages-"LIST" 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 | 11 days ago

in quantum computing. - Solid computer science and analytical skills, including modelling and verification, programming language theory or quantitative model checking. - Experience in programming, e.g

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

Aalborg Universitet | Denmark | about 2 months ago

Impacts, funded by the Villum Foundation (Synergy Programme). Two postdoctoral researchers will collaborate across AAU’s Departments of Computer Science (CS) and Sustainability and Planning (PLAN