1 software-verification-phd Postdoctoral positions at Technical University of Denmark

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

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