3 software-verification-phd Postdoctoral positions in Denmark

Postdoc and PhD positions to the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University | Denmark | 4 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

Technical University of Denmark | Denmark | about 1 month ago

Job Description Real-time systems need to guarantee the timely execution of tasks. Furthermore, the whole system (processor, compiler, application software) needs to be analysable for the worst-case

Postdoc in Formal Methods for Business Process Management - DTU Compute

Technical University of Denmark | Denmark | about 2 months ago

successful candidate will have previous experience in computer science or data science, with a PhD and publications in at least one of the following areas: Formal modelling and verification of business