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: Sat, 02 Mar 2024 23:14:33 GMT

Apply for the job now!