Assistant professor to The Center for Basic Research in Program Verification at Computer Science, Aarhus University

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: Sun, 03 Mar 2024 02:59:57 GMT

Apply for the job now!