2 programming-language-"Prof"-"University-of-Strathclyde" Postdoctoral positions at Aalborg University in Denmark

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

Aalborg University | Denmark | about 14 hours ago

modelling languages - Sound and complete deduction methods for establishing properties of quantum  programs - Reduction methods and metrics for quantum systems - Decision diagrams for efficient analysis and

Postdoc in Acoustic Sensing and Machine Learning for Sustainable Battery Lifetime Prediction

Aalborg University | Denmark | 3 days ago

are internationals. In total, it has more than 600 students in its BSc and MSc programs, which are based on AAU's problem-based learning model. The department leverages its unique research infrastructure and lab