Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
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
-
findings to project partners, in journals and at national and international conferences As formal qualification: You hold a PhD degree (or equivalent) in Chemical and/or Biochemical Engineering or equivalent
-
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
-
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
-
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
-
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 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