4 software-verification-computer-science Postdoctoral positions in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for software-verification-computer-science 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 | 2 days ago

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
Postdoc in Compilation and Timing Analysis for Real-Time Systems - DTU Compute Postdoc in Formal Methods for Business Process Management - DTU Compute Postdoc in Time-Predictable Computer Architecture - DTU Compute

Technical University of Denmark | Denmark | 3 months ago

in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function verification and formal

Enter an email to receive alerts for software-verification-computer-science positions