12 modelling Postdoctoral positions at Aarhus University in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for 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 | 2 months 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
Postdocs for new European research project at the Department of Electrical and Computer Engineering, Aarhus University

Aarhus University | Denmark | about 1 month ago

engineering, control engineering, or similar) Experience in power electronics Experience in control and modelling Experience with hardware-in-the-loop (HIL) emulators such as dSPACE, OPAL-RT, and Speedgoat

Enter an email to receive alerts for modelling positions