-
. 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
-
algorithms, and some knowledge of data science and machine learning (through coursework, self-learning, or personal projects). The selected student will work with Ph.D. and master's students to help develop
Searches related to algorithm
Enter an email to receive alerts for algorithm positions in computer-science