Aarhus University (@au.dk) is hiring:
https://tenuretracker.info/l/F1aW8yjv/how-to-apply-for-academic-positions?utm_source=bluesky
#postdoc #computerscience #programverification
---
Job ID: 164366
Extract: The Department of Computer Science at Aarhus University invites applications for postdoc positions in the Center for Basic Research in Program Verification. The positions focus on interactive verification of safety and security properties of software systems.