Assistant professor for The Center for Basic Research in Program Verification (CPV) at Computer Science, Aarhus Unive...
Århus N
The Center for Basic Research in Program Verification (CPV) seeks an assistant professor to work on the ERC funded project Compositional Reasoning about Higher-Order Distributed Systems (CHORDS). T...
Information og data
Denne ledige stilling har jobtypen "Akademisk medarbejder", og befinder sig i kategorien "Økonomi og jura".
Arbejdsstedet er beliggende i Århus N.
Når du klikker dig videre, kommer du til en ny side med langt mere info om jobbet og med direkte kontaktinfo til jobudbyderen
Dagligt opdateret: Dette job opdateres dagligt ud fra jobudbyderens hjemmeside via vores søgemaskineteknologi og er aktivt lige nu.
- 22.04.2025
- Akademisk medarbejder
- Århus N