2 formal-method-phd 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 14 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

developing optimization-driven approaches to multimodal device tailoring. We are looking for someone with A PhD in Human-Computer Interaction or a closely related field Strong programming skills (e.g., Python