-
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
-
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
-
(master's degree diploma, engineering degree diploma and PhD diploma) Documentation of teaching qualifications if relevant. Dissemination qualifications, including participation on committees or boards
-
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
-
proportionally large population of young inhabitants. Denmark offers an attractive work-life balance and work environment. Applicants must hold or expect to complete a relevant PhD degree with documented expertise
-
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
-
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
-
developing optimization-driven approaches to multimodal device tailoring. We are looking for someone with A PhD in Human-Computer Interaction or a closely related field Strong programming skills (e.g., Python