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 a fully funded interdisciplinary PhD stipend within the study program “Media
-
are not limited to) challenges for quantum computing and communicating systems: - Design and semantics of distributed quantum programming and modelling languages - Sound and complete deduction methods
-
and design challenges that address the following (but are not limited to) challenges for quantum computing and communicating systems: - Design and semantics of distributed quantum programming and
-
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
-
creative design processes. The lab will provide access to shared resources, joint supervision, and interdisciplinary training in AI, Life Cycle Assessment (LCA), and computational design tools. The objective
-
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
-
to reading your application to our PhD Stipend. At the Faculty of Engineering and Science, Department of Chemistry and Bioscience, a PhD stipend is available within the study program of Biology. The PhD
-
and Distributed Systems: https://www.cs.aau.dk/research/distributed-embedded-intelligent-systems/ The Department of Computer Science features a broad range of synergistic activities within research and
-
for physical AI systems that learn and adapt through continuous exposure to multimodal sensory and radio data, and acts upon real-world environment through distributed coordination and control. Emphasis will be