-
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
-
will be in developing new techniques for testing and verifying modern highly concurrent systems, such as weak-memory architectures and highly-distributed databases. The position is also open, to some
-
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
-
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