2 postdoc-computer-science-logic Postdoctoral positions at Aarhus University

PostDoc Position on Algorithmic Verification of Concurrent Systems at Computer Science, Aarhus University

Aarhus University | Denmark | 1 day ago

This is a full-time (37 hours/week) on-site role located at Åbogade 34, 8200 Aarhus N, Denmark for a Postdoctoral Fellow at the Department of Computer Science, Aarhus University. The postdoctoral

Postdoc and PhD positions to the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University | Denmark | about 1 month ago

The Department of Computer Science, Aarhus University invites applications for postdocs and PhD students. Supported by a generous ERC Advanced Grant and a Villum Investigator Grant from Villum