2 computer-science-programming-languages-"Prof"-"TU-Dresden" 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 | about 15 hours ago

- Expertice and a strong profile in quantum computing. - Solid computer science and analytical skills, including modelling and verification, programming language theory or quantitative model checking

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

Aalborg University | Denmark | 10 days ago

skills with the ability to connect theoretical modeling to practical, experimental data. experience with relevant computational tools (e.g., MATLAB, Python, or similar scientific programming environments