-
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
-
research results (algorithmic developments, data mining techniques, etc.) to feasible deployment • Integrate the developed techniques with modern ICT/IoT and other digitalization systems • Cooperation
Searches related to algorithm development
Enter an email to receive alerts for algorithm-development positions in science