Job title: Assistant professor to The Center for Basic Research in Program Verification at Computer Science, Aarhus University
Company: Aarhus Universitet
Job description: 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). The focus of the position will be on research…
Expected salary:
Location: Aarhus, Midtjylland
Job date: Sat, 02 Mar 2024 23:14:33 GMT
Leave a Reply