Sort by
Refine Your Search
-
Category
-
Employer
-
. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus
-
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
-
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