3 distributed-computing-"https:" Postdoctoral positions at Aarhus University

Postdoc position in IoT systems and real-time distributed systems

Aarhus University | Denmark | 5 days ago

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

Postdoc and PhD positions to the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University | Denmark | 3 months ago

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

Post-Doctoral Fellowship in risk assessment and prioritization and remediation of dumped munitions in the Ocean

Aarhus University | Denmark | 5 days ago

fishing activities, major shipping routes, and offshore development locations. The EU Oceans Pact highlight the need to assess and manage dumped munitions. Two EU-funded projects, MUNI-RISK ( https://muni