1 postdoctoral-modelling Postdoctoral scholarships in Denmark

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for postdoctoral-modelling 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 13 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

Searches related to postdoctoral modelling

Enter an email to receive alerts for postdoctoral-modelling positions