Posted: 19 June 2026 - Leiden, Netherlands
This fully funded three-year postdoctoral position focuses on applying automata theory and programming language semantics to control-flow equivalence in systems and security, aiming to enhance compiler optimization and vulnerability detection.