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

Sort by

listed

Refine Your Search

Category
- Research Job 3
- Scholarship 1
Employer
- Technical University of Denmark 3
- Aarhus University 1
Field
- Computer Science 4
- Engineering 1

Sort by: relevance | listed |

Enter an email to receive alerts for formal-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 | about 11 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 Compilation and Timing Analysis for Real-Time Systems - DTU Compute Postdoc in Formal Methods for Business Process Management - DTU Compute Postdoc in Engineered 3D Microperfusion Systems for Next-Generation Liver Models - DTU Health Tech

Technical University of Denmark | Denmark | about 1 month 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

Searches related to formal verification computer science

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