Sort by
Refine Your Search
-
Country
-
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
-
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
-
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
-
the Department of Engineering Your profile Education and Scientific Background PhD in Mathematics, Engineering, or a closely related discipline with a focus on modelling, optimization, or data analysis Detailed
-
mission-driven Research and Technology Organization that accelerates the transfer of research into innovation. The AIRA Research Group, part of the Human-centered AI, Data and Software (HANDS) research unit