Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
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
-
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
-
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
-
particular niche will be part of the position. The group has a very strong infrastructure and internal teaching program and covers multiple areas of pharmacoepidemiology, including method development
-
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
-
these languages, and in time are expected to master both. As formal qualification you must hold a PhD degree. To meet the position's requirements, the applicant must be regularly present and actively
-
in the biomechanical engineering specialization in particular. The candidate must have completed the university’s formal pedagogical training by the end of the assistant professorship at the latest
-
transition. Upscaling of processes and methods from laboratory to industrial scale. Qualifications We are looking for a dynamic researcher who holds a Ph.D. in Chemical Engineering, worked some years as
-
languages: Danish and English. You are expected to be fluent in at least one of these languages, and in time are expected to master both. As formal qualification you must hold a PhD degree (or equivalent
-
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