1 software-verification Postdoctoral positions at Aarhus University

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for software-verification positions

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

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

Searches related to software verification

Enter an email to receive alerts for software-verification positions