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

Sort by: relevance | listed |

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

PostDoc Position on Algorithmic Verification of Concurrent Systems at Computer Science, Aarhus University

Aarhus University | Denmark | about 23 hours ago

This is a full-time (37 hours/week) on-site role located at Åbogade 34, 8200 Aarhus N, Denmark for a Postdoctoral Fellow at the Department of Computer Science, Aarhus University. The postdoctoral
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 1 month 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 Engineered 3D Microperfusion Systems for Next-Generation Liver Models - DTU Health Tech

Technical University of Denmark | Denmark | 3 months ago

printed hydrogel microfluidics and stem cell-derived liver organoids to advance the engineering of mature human liver tissue in vitro. You will work across disciplines, with access to world-class facilities

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