2 compiler Postdoctoral positions in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for compiler 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

; probabilistic program logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics
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.