2 postdoc-computer-science-logic Postdoctoral positions in Denmark

Post Doc positions for the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University | Aarhus C, Region Midtjylland | Denmark | about 1 month ago

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

Postdoc positions on Program Analysis for Software Supply Chain Security at Computer Science, Aarhus University

Aarhus University | Aarhus C, Region Midtjylland | Denmark | about 16 hours ago

hours/week) two-year postdoc positions. The starting date is January 1 2027 or later in 2027.   Place of work The place of work is Department of Computer Science, Åbogade 34, 8200 Aarhus N.   Contact