Application details are incomplete. Check the source carefully before applying; this page is not included in search indexing.
Hiring organization: Aarhus University
Computer SciencePostdocDenmark
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.