2 postdoc-artificial-intelligence 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 12 hours ago

-Intensive Systems research group, under the guidance of Prof. Ira Assent, and part of the ADA (Algorithms, Data, and Artificial Intelligence) in the Department of Computer Science. You will draw on your

Postdoc Positions in Computer Science (Formal Methods)

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

potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems, guided by rigorous mathematical foundations. Our current main instrument to pursue