1 software-verification-postdoc "https:" 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 2 months ago

doing research on interactive verification of safety and security properties of challenging software systems. We offer full-time (37 hours/week) two-year postdoc positions. The starting date is