-
. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus
-
models. However, rigorous methods for evaluating XAI algorithms are currently lacking. This is in large part due to a gap between how explainability is evaluated within computer science and philosophy. In
-
spectrum of topics, ranging from fundamental vision algorithms and deep learning methods to applied research projects carried out in close collaboration with industrial and public partners. Read more on
Searches related to algorithms
Enter an email to receive alerts for algorithms positions in computer-science