[TYPES/announce] Tenure-track position in Systems-Level Security at University of Copenhagen

[Andrzej Filinski]

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:
https://urldefense.com/v3/__https://employment.ku.dk/tenure-track/?show=161528__;!!IBzWLUs!RgmWsZjus1KaBKDqM020XyCdta7m-S_t9GPHN8q9Xp2rwDNooSsQRy9BvV1Rg4LFzMvarWZi4FvNUFpeSWy77XdLZftcxqMk$