Sort by
Refine Your Search
-
Category
-
Employer
-
exploited by intelligent physical systems, such as robots, vehicles, and distributed autonomous agents, to perceive and interpret their environment and support timely physical action. A central objective will
-
. 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
Enter an email to receive alerts for postdoc-distributed-algorithms
positions