Sort by
Refine Your Search
-
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
-
. 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
-
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
-
(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