2 software-verification Postdoctoral positions in Denmark

Postdoc in Formal Methods for Business Process Management - DTU Compute

Technical University of Denmark | Denmark | 44 minutes ago

and exciting environment with plenty of opportunities for collaborations. In your role as a postdoc, you will focus on the formal verification techniques for process models, and the application

Postdoc in Time-Predictable Computer Architecture - DTU Compute

Technical University of Denmark | Denmark | about 1 month ago

Software Defined Vehicles (SDV). The primary objective is to expand, mature, and industrialize a novel European RISC-V automotive ecosystem that enables next-generation high-performance European automotive