Sort by
Refine Your Search
-
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
-
candidate, you will develop methods that combine data-driven autonomy with formal safety guarantees and validate them in real time through simulation and experimental evaluation. The position is hosted
-
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
-
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 for monitoring
-
The Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark (SDU), Campus Odense, invites applications for one PhD candidate position in Computer Science, fully
-
, current methods are either static, rely on heavy offline training, or fail to adapt to changing environments. This PhD project will develop intelligent software agents capable of autonomously optimizing
-
Job Description The Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark (SDU), Campus Odense, invites applications for one PhD candidate position in