8 software-verification-phd positions in Denmark

PhD in AI:SECURITY lab - Advanced trustworthy AI and its application to cybersecurity

Aalborg University | Denmark | about 11 hours ago

The Department of Electronic Systems at The Technical Faculty of IT and Design invites applications for a PhD stipend in the field of AI security and privacy within the general study programme

PhD in AI:SECURITY lab - Advanced trustworthy AI and its application to cybersecurity

Aalborg Universitet | Denmark | 20 days ago

Infrastructure? No Offer Description The Department of Electronic Systems at The Technical Faculty of IT and Design invites applications for a PhD stipend in the field of AI security and privacy within the general

Development Engineer – Scientific Software Development for Wind Resource Assessment - DTU Wind 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

Postdoc in Formal Methods for Business Process Management - DTU Compute

Technical University of Denmark | Denmark | 3 months 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 Part-Time Lecturers in Embedded Systems Engineering - DTU Compute

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