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
-
This is a full-time (37 hours/week) on-site role located at Åbogade 34, 8200 Aarhus N, Denmark for a Postdoctoral Fellow at the Department of Computer Science, Aarhus University. The postdoctoral
-
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
-
, plasticizers, chemical warfare agents, and their degradation products. In addition, our research examines the sources, transport mechanisms, distribution patterns, bioaccumulation processes, and transformation
-
if the candidate is expected to have a keen interest in digital history, other team members will do the advanced computational analyses in collaboration with the rest of the team’s domain experts