1 compiler Postdoctoral positions at Aarhus University in Denmark

Sort by

listed

Refine Your Search

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 1 month 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 compiler

Enter an email to receive alerts for compiler positions