Sort by
Refine Your Search
-
Category
-
Field
-
foundation in distributed systems and communications. We are looking for candidates with: Strong software development skills for wireless communication systems and IoT technologies, with experience in
-
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 of the position
-
expected to collaborate with the PhD students in the group. Development of instruments an software You will contribute to developing the experimental instruments, in particular the optical setup and the
-
-disciplinary analysis, modeling, and development of continuous improvement loops that advice researchers of possible solution pathways. At AU, a digital twin platform software called the Digital Twin as a
-
research on interactive verification of safety and security properties of challenging software systems. We offer full-time (37 hours/week) postdoc positions of 1-3 years. The starting date is December 1