-
Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center
-
the foundations for reliable decision support and Monitoring, Reporting, and Verification (MRV) systems for reducing greenhouse gas emissions in Danish agriculture, particularly exploring conditions for the uptake
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions