2 formal-method Postdoctoral positions in computer-science in Denmark

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

Aarhus University | Denmark | about 17 hours 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