Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
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
-
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
-
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
-
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
-
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
-
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
-
areas: cyber security privacy engineering cryptography and applied cryptography computer engineering edge or cloud computing and networking. You will be part of one of the department’s research groups in
-
the Department’s psychology programme, including course development, examination, and educational leadership. Demonstrating the ability to translate research into broader societal or practice-oriented relevance