Sort by
Refine Your Search
-
(e.g. Agentic Reinforcement Learning), evaluation, tool use, agentic harness, or retrieval-augmented systems. Internship/full-time experience from research, engineering, or algorithm-development roles in
-
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
-
environments. Clean public repositories or released source code from past publications is a strong plus. Algorithmic Breadth: Familiarity with probabilistic machine learning, distributional reinforcement
-
are continuously subject to "domain shifts" caused by fluctuating conditions, hardware degradation, or changing physical surroundings. Traditional AI models are often brittle under these distribution shifts, leading
-
of quantum information – e.g. the no-cloning principle – to provide improved privacy in distributed computation settings. As part of the position, you will be expected to collaborate with other researchers
-
. 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 3-year PhD positions in computer science with emphasis on formal methods. Possible topics include (but are not limited to) computational complexity, distributed systems, human factors, logic
-
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