-
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
-
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