Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
Are you interested in real-time distributed systems, IoT connectivity, and AI-driven automation? The Department of Electrical and Computer Engineering at Aarhus University invites applications for a
-
to the projects management Who we are The Department of Environmental Science is an interdisciplinary department under the Faculty of Technical Sciences at Aarhus University. The expertise of the Department ranges
-
for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org ), e.g., to reason about distributed systems
-
and 2005 and utilising various methods from history, digital humanities, and cultural studies. The position is 2,5 years (30 months). The position is based at the Department of History and Classical