Tenure-track assistant professorship in Systems-Level Security
by Andrzej Filinski, April 15, 2024Tenure-track assistant professorship at the University of Copenhagen. Candidates with experience in both systems-level security and programming-language theory/technology, are particularly welcome. Application deadline: 26 May 2024.
[Apologies for multiple copies; please forward to anyone who might
be interested.]
The Department of Computer Science (DIKU) at the University of
Copenhagen invites applications for a position as Tenure-Track
Assistant Professor in Systems-Level Security. The position is to be
filled by 1 November 2024, or as soon as possible thereafter.
We are looking for a curious and open-minded researcher with expertise
in areas such as (but not limited to) OS and hypervisor-level
security, virtualization, hardware-assisted security,language-based
security and secure compilation, IoT, cryptographic and security
engineering, malicious software analysis and prevention. We are
particularly encouraging people working at the intersection of
systems-level security and formal aspects of computer science (e.g.,
verification, type systems, programming languages, language-based
security, formal methods and logic) to apply.
The successful candidate will join a growing group of researchers in
software and systems security, which spans several research sections
at the Department. This is a unique opportunity to influence the
department's future research and teaching in security.
The application deadline is *26 May 2024 at 23:59 CEST*. For the full
details of the position, the department and research environment, and
the application procedure, please see this page:
