-
developing new techniques for analyzing security of open-source components and large-scale applications. Applicants are expected to have a strong background in Programming Languages and Software Engineering
-
, construction and evaluation of novel multisensory interaction techniques and systems. Expected start date and duration of employment This is a 24-month position starting from 1 February 2027 or as soon as
-
the Circular on the job structure for the Bachelor of Engineering and Export Engineering programs (in Danish) , as well as Appendix 1 - note on the job structure for teachers in the Bachelor of Engineering and
-
of Academic Staff at Danish Universities under the Danish Ministry of Science, Technology and Innovation . The application must be in English and include a curriculum vitae, degree certificate, a complete list
-
, Technology and Innovation . The application must be in English and include a curriculum vitae, degree certificate, a complete list of publications, a statement of future research plans and information about
-
or Assistant professors Tenure Track starting February 1, 2027. The Assistant professor position is a 3-year fixed term full-time position, and the tenure track position, is a structured career pathway with
-
him/her self. Formalities and salary range Natural Sciences refers to the Ministerial Order on the Appointment of Academic Staff at Danish Universities under the Danish Ministry of Science, Technology
-
construction of digital systems guided by rigorous mathematical foundations. Towards which, our current main instrument is the Computer Science Library (CSLib) in the Lean programming technology . CSLib is a
-
potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems, guided by rigorous mathematical foundations. Our current main instrument to pursue
-
Validation; Data Engineering, Science, and Systems; Distributed Sustainable Software and Systems; Formal Methods for Security and Privacy; Foundations for Interacting and Computing Systems; Human Augmentation