-
of science; (b) develop novel metrics and algorithms for AI explainability; and (c) create a tight feedback loop where (a) and (b) can iteratively refine each other. As a postdoc, you will be based in the Data
-
. 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
-
contribute to aligning the course portfolio with current developments in the field and in industry. A key part of your work will be supervision of student projects, where you guide students from idea
Searches related to algorithm development
Enter an email to receive alerts for algorithm-development positions in computer-science