Sort by
Refine Your Search
-
environments. Clean public repositories or released source code from past publications is a strong plus. Algorithmic Breadth: Familiarity with probabilistic machine learning, distributional reinforcement
-
. 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
-
for postdoctoral fellowships in computer science with emphasis on the area of formal methods, in connection with topics that include (but are not limited to) computational complexity, distributed systems, human
-
and inference for distributed AI agents, and how the realities of networked operation shape the design of adaptive, resilient intelligence. Finally, the research will address how groups of embodied