3 software-verification-postdoc Postdoctoral positions in Denmark

Sort by

listed

Refine Your Search

Category
- Research Job 2
- Scholarship 1
Employer
- Technical University of Denmark 2
- Aarhus University 1

Sort by: relevance | listed |

Enter an email to receive alerts for software-verification-postdoc 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 23 hours ago

research on interactive verification of safety and security properties of challenging software systems. We offer full-time (37 hours/week) postdoc positions of 1-3 years. The starting date is December 1
Postdoc in Compilation and Timing Analysis for Real-Time Systems - DTU Compute Postdoc in Formal Methods for Business Process Management - DTU Compute
- About
- Contact
- Privacy Statement
- Universities
- Blogs
- Browse
- Post an Ads
Copyright © 2025 scholarshipdb.net. All rights reserved.