3 formal-methods Postdoctoral positions in computer-science in Denmark

Postdoc Positions in Computer Science (Formal Methods)

University of Southern Denmark (SDU) | Odense C, Region Syddanmark | Denmark | 3 months ago

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

Postdoc position ”REMAX: Rigorous Evaluation Methods for AI Explainability" at Computer Science, Aarhus University

Aarhus University | Denmark | 42 minutes ago

computer science and philosophy. The REMAX project on Rigorous Evaluation Methods for AI Explainability, funded by a Villum Synergy grant, aims to create methods for explainable AI and their rigorous evaluation. It

Postdoctoral Researcher in Ability-Based Tailoring of Interactive Devices at Department of Computer Science, Aarhus University

Aarhus University | Denmark | 3 months ago

, C++, or equivalent) Experience with 3D modelling, rendering, or fabrication, and haptic feedback Familiarity with computational or optimization methods applied to interaction (e.g., computational UI