4 formal-verification Postdoctoral positions in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for formal-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 | 5 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 Formal Methods for Business Process Management - DTU Compute Postdoc in Compilation and Timing Analysis for Real-Time Systems - DTU Compute

Technical University of Denmark | Denmark | about 1 month ago

. Establish independent research areas. Required qualifications: As a formal qualification, you must hold a PhD degree (or equivalent) in computer science, computer engineering, or electrical engineering
Postdoc in Engineered 3D Microperfusion Systems for Next-Generation Liver Models - DTU Health Tech

Technical University of Denmark | Denmark | about 1 month ago

. Integrating new pumping systems and verification of aseptic bubble-free long-term perfusion. Characterizing oxygen and metabolite distribution by advanced microscopy. Performing month-long culture of stem cell

Enter an email to receive alerts for formal-verification positions