-
on developing scalable AI and NLP methods for Knowledge Graph Construction. Stipend 2: The PhD student, hosted by the Department of Society and Politics, will guide the Knowledge Graph Construction using
-
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
-
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
-
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