6 formal-verification 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 | about 17 hours 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 | 13 days 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 | 20 days 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

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

Postdoc in enabling decision support for GHG mitigation in Danish agriculture

Aarhus University | Denmark | 3 months ago

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