-
. 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
Enter an email to receive alerts for algorithm "UCL" positions