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, Bygning 5340-5342, 5345

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:55:09 GMT

Apply for the job now!


Comments

Leave a Reply

Your email address will not be published. Required fields are marked *


The reCAPTCHA verification period has expired. Please reload the page.