5 formal-verification-computer-science positions in Denmark

Sort by: relevance | listed |

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

Department of Computer Science, Aarhus University is looking for 2 IT-Employees with focus on formally verified compilers for ZK-proofs

Aarhus University | Denmark | 3 months ago

verification of compiler optimizations in Rocq The position is for 15 hours per week. Starting on September 1, 2025 - or soon thereafter . The place of work is: Computer Science, Aarhus University - Åbogade 34
Postdoc and PhD positions to the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University | Denmark | 16 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 Postdoc in Engineered 3D Microperfusion Systems for Next-Generation Liver Models - DTU Health Tech

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