3 software-verification "Technical University Of Denmark" Postdoctoral positions

Postdoc in Compilation and Timing Analysis for Real-Time Systems - DTU Compute

Technical University of Denmark | Denmark | about 20 hours ago

Job Description Real-time systems need to guarantee the timely execution of tasks. Furthermore, the whole system (processor, compiler, application software) needs to be analysable for the worst-case

Postdoc in Formal Methods for Business Process Management - DTU Compute

Technical University of Denmark | Denmark | 26 days ago

of Applied Mathematics and Computer Science of Technical University of Denmark (DTU) is opening two exciting opportunities for Postdoctoral positions in Business Process Management. We search for a profile

Postdoc in Time-Predictable Computer Architecture - DTU Compute

Technical University of Denmark | Denmark | 2 months 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