6 software-verification-computer-science-"the" positions in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for software-verification-computer-science-"the" positions

Postdoc in Compilation and Timing Analysis for Real-Time Systems - DTU Compute Postdoc in Formal Methods for Business Process Management - DTU Compute Part-Time Lecturers in Embedded Systems Engineering - DTU Compute

Technical University of Denmark | Denmark | about 2 months ago

Job Description If you have solid practical experience in embedded systems, computer engineering, or related areas — and are excited to teach, collaborate, and shape the next generation of engineers
Postdoc in Time-Predictable Computer Architecture - DTU Compute

Technical University of Denmark | Denmark | 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
PhD scholarship in Time-Predictable Computer Architecture - DTU Compute PhD position in CMOS design of SSM-based Spiking Neural Networks integrated with RISC-V

University of Southern Denmark | Denmark | about 13 hours ago

hold an MSc in electronics, computer engineering, or a closely related field. Required Qualification: Applicants must hold an MSc in electronics, computer engineering, or a closely related field. Strong

Enter an email to receive alerts for software-verification-computer-science-"the" positions