Sort by
Refine Your Search
-
Job Description The Centre for Formal Methods and Future Computing (FORM) and the Danish Institute for Advanced Study (DIAS) at the University of Southern Denmark (SDU, Campus Odense and Vejle
-
, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods for monitoring, evaluating, and improving LLM robustness, e.g. building
-
formal qualification you must hold a PhD degree (or equivalent) as well as academic qualifications equivalent to those obtained by holding an assistant professorship and documented didactic/pedagogic
-
both. As formal qualification you must hold a PhD degree (or equivalent) as well as academic qualifications equivalent to those obtained by holding an assistant professorship and documented didactic
-
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
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
for collaboration, personal growth, and mentoring for starting independent research groups. The section’s current research covers a wide range of areas and topics that include symbolic AI and formal methods (logic