7 software-verification-phd positions in Denmark

Postdoc and PhD positions to the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University | Denmark | about 10 hours ago

Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center

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

Technical University of Denmark | Denmark | 14 days 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 | about 1 month ago

successful candidate will have previous experience in computer science or data science, with a PhD and publications in at least one of the following areas: Formal modelling and verification of business

PhD position in CMOS design of SSM-based Spiking Neural Networks integrated with RISC-V PhD scholarship in Time-Predictable Computer Architecture - DTU Compute Postdoc in Time-Predictable Computer Architecture - DTU Compute

Technical University of Denmark | Denmark | 3 months ago

verification. runtime analysis and reconfiguration of in-vehicle TSN networks. Co-supervise MSc and PhD students. Optionally contribute to teaching and proposal preparation. Required qualifications: As a formal

Part-Time Lecturers in Embedded Systems Engineering - DTU Compute

Technical University of Denmark | Denmark | 4 days ago

programmes, especially in areas such as: Embedded systems and digital design, Hardware/software co-design, Dependable and real-time systems, Operating systems and system-level programming, Verification and