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
-
at national and international scientific meetings and the publication of the results in established peer-reviewed scientific journals. Qualifications: A PhD in social sciences achieved by 15th of April 2026
-
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