Aarhus University (@au.dk) is hiring:
https://tenuretracker.info/l/kD4rkxB5/postdoc-position-on-algorithmic-verification-of-concurrent-systems-at-computer-s?utm_source=bluesky
#postdoc
---
Job ID: 163918
Extract: 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.