-
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
-
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
-
Systems. The position is open to applicants to be affiliated with one of the research groups: Automated System Verification and Validation, Distributed Sustainable Software and Systems, Formal Methods
-
research groups and with external partners is a natural part of daily life. Your primary responsibilities will be research, teaching, and supervision at Bachelor of Science, Master of Science, and PhD level