5 software-verification-computer-science positions in Denmark

Post Doc Position on Algorithmic Verification of Concurrent Systems at Computer Science, Aarhus University

Aarhus University | Denmark | about 2 months ago

Role Description This is a full-time (37 hours/week) on-site role located at Åbogade 34, 8200 Aarhus N, Denmark for a Postdoctoral Fellow at the Department of Computer Science, Aarhus University

Full professor in Computer Science

Aalborg Universitet | Denmark | 3 months ago

 for a new position in Aalborg or Copenhagen. The final application deadline is October 1, 2026. The Department of Computer Science has the following research groups: Automated System Verification and

Full professor in Computer Science

Aalborg University | Denmark | about 7 hours ago

of Computer Science has the following research groups: Automated System Verification and Validation Data Engineering, Science, and Systems Distributed Sustainable Software and Systems Formal Methods for Security and

Assistant professor or tenure-track assistant professor in Distributed, Embedded and Intelligent Systems (DEIS)

Aalborg University | Denmark | about 1 month ago

Assistant professor or Tenure-track Assistant professor  in Distributed, Embedded and Intelligent Systems - Aalborg Campus (DEIS) Department of Computer Science, Aalborg University is hiring

Professor and/or Associate Professor in Dynamics and Advanced Mechanical Systems

Aalborg University | Denmark | about 7 hours ago

hardware, software, and control engineering come together. For the appointment as Professor, you are an established and experienced research leader with a substantial publication record in relevant areas