Post-Doctoral Researcher on Applications of Control-flow Equivalence to Systems and Security

Vacancy number: 16630

Job type: Academic staff

Contract hours min: 38

Contract hours max: 38

Location: Leiden

Applying is possible up to and including: 31 August 2026

Applications are invited for a fully funded three-year postdoctoral position aimed at the intersection of theoretical computer science, computer systems, and security. The topic of the research will be centered on applying techniques from automata theory and programming language semantics within program similarity detection, with applications to recurrent vulnerability detection, as well as optimizing compilers, with a focus on code specialization and abstraction. This is a unique position that involves skills both in theory and software implementation.

In more detail, programming language theory commonly uses automata to describe the behavior of a program from an operational point of view; in systems, control flow graphs can be seen as...