2 software-verification-computer-science-"LIST" research jobs in Denmark

Postdoc in Formal Methods for Business Process Management - DTU Compute Postdoc in Time-Predictable Computer Architecture - DTU Compute

Technical University of Denmark | Denmark | about 2 months ago

in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function verification and formal