4 verification-computer-science 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 1 month 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

Postdoc in enabling decision support for GHG mitigation in Danish agriculture

Nature Careers | Aarhus C, Region Midtjylland | Denmark | about 2 months ago

SMARTFIELD project. We are looking for a candidate with extensive knowledge in social science, environmental management, agroecology, or a related field, who is committed to research in the science-policy

Postdoc in enabling decision support for GHG mitigation in Danish agriculture

Aarhus University | Denmark | about 1 month ago

SMARTFIELD project. We are looking for a candidate with extensive knowledge in social science, environmental management, agroecology, or a related field, who is committed to research in the science-policy