-
settings Formal semantic or symbolic methods for monitoring, evaluating, and improving LLM robustness. The positions are embedded in an active and rapidly growing research environment, including ongoing
-
dynamic, crowded environments. As a PhD candidate, you will develop methods that combine data-driven autonomy with formal safety guarantees and validate them in real time through simulation and experimental
-
memorization in LLMs Analysis of vulnerabilities in low-resource language settings, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods
-
The Department of Computer Science at The Technical Faculty of IT and Design invites applications for PhD stipends on one of the topics of Digital Twins and Hierarchical Multi-Agent Safe
-
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