Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
At the Technical Faculty of IT and Design, the Department of Architecture, Design and Media Technology (CREATE) offers four fully funded interdisciplinary PhD stipends within the study program
-
At the Technical Faculty of IT and Design, the Department of Architecture, Design and Media Technology (CREATE) offers a fully funded interdisciplinary PhD stipend within the study program “Media
-
-supported and performance-driven design methods in architecture, available from 1st of March 2025 or as soon as possible thereafter. Your work tasks The PhD stipend is financed by Aalborg University as part
-
At the Technical Faculty of IT and Design, Departmentof Computer Science, one PhD stipend intheories for programming semantics, methods for verification and reliability assurance of combined
-
At the Technical 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
-
Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security and Privacy ; Foundations for Interacting and Computing Systems
-
of Computer Science has the following research groups: Automated System Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security
-
of Computer Science has the following research groups: Automated System Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security
-
-year employment is funded by the Energy Technology Development and Demonstration Programme (EUDP) and aims to deliver a standardised, robust, and scalable subsea electrode unit for HVDC systems. The PhD
-
outputs, e.g. via computational linguistic analysis of output space distributions Linguistically motivated methods for analysing and securing LLM behaviour, including, e.g., LLM misbehaviour and