-
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
-
. 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
Searches related to algorithm development
Enter an email to receive alerts for algorithm-development positions in computer-science