3 software-verification-postdoc Postdoctoral positions in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for software-verification-postdoc positions

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

Aarhus University | Denmark | 1 day ago

fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position
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 2 months 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
- About
- Contact
- Privacy Statement
- Universities
- Blogs
- Browse
- Post an Ads
Copyright © 2025 scholarshipdb.net. All rights reserved.