Sort by
Refine Your Search
-
possess: A solid background in formal methods and process mining Experience in developing theoretical modeling and analysis frameworks Strong programming and software development skills (at least at the
-
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) seek
-
The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites applications
-
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
-
of the Danish language will facilitate the interaction with the stakeholders. As a formal qualification, you must hold a PhD degree (or equivalent) preferably in Environmental Engineering. We offer DTU is a
-
, 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
-
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
-
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
-
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