1 knowledge-reasoning Postdoctoral positions at Aarhus University

Post Doc positions for the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University | Aarhus C, Region Midtjylland | Denmark | about 2 months ago

logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics for relaxed