Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
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
-
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
-
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
-
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
-
At the Technical Faculty of IT and Design, Department of Architecture, Design and Media Technology (Aalborg Campus) a 3-year, full-time position as Assistant Professor with a focus on Computer
-
At the Department of Architecture, Design and Media Technology, The Faculty of IT and Design a full-time position as Associate Professor in computational architecture is open for appointment from
-
Assistant professor in AI at Computer Science The Department of Computer Science at The Technical Faculty of IT and Design invites applications for one or more positions as assistant professor as
-
At the Faculty of Medicine, Department of Health Science and Technology, one or more PhD stipend’s are available within the doctoral programme: Biomedical Engineering and Neuroscience from February
-
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