Postdoctoral Researcher in Algorithmic Verification of Concurrent Systems

Aarhus University

Posted: 2026-06-18 - Aarhus, DNK

Search More Openings

Summary

This position involves conducting research on algorithmic verification of concurrent systems, focusing on developing techniques for testing and verifying modern concurrent systems. The role includes collaboration with faculty and mentoring students.

Position details

Reference: 163918
Role area: postdoc
Employment type: full time
Research field: Computer Science
Research topic: Algorithmic Verification of Concurrent Systems
Start date: 2027-01-01
Application deadline: 2026-08-15