-
. 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
-
these connected directions. Research will emphasise new learning algorithms and rigorous evaluation using public datasets, simulation and, where available, robotic and edge-computing platforms. Evaluation will
-
the best 8 percent") or if that is not possible, general information from your University as to how grades were distributed in the year of your graduation, will be appreciated. Please note that Aarhus BSS
Enter an email to receive alerts for distributed-algorithm "University of Exeter" positions