2 formal-semantics PhD positions at Aalborg University

PhD Stipend/Integrated Stipend in programming semantics, verification and reliability assurance of combined classical and quantum systems.IP - Ph.d (DK/EN)

Aalborg University | Denmark | about 11 hours ago

At the Technical Faculty of IT and Design, Department of Computer Science, one PhD stipend/Integrated PhD stipend in theories for programming semantics, methods for verification and reliability

PhD in Semantics and Object Detection in Subsea Environments

Aalborg University | Denmark | 2 months ago

Aalborg University contributes to the knowledge building of the global society as well as the development of prosperity, welfare and culture of Danish society. This is accomplished through research, research-based education, public sector services and knowledge collaboration. AAU educates...