Leiden University
Posted: 2026-06-19 - Leiden, NLD
Search More Openings
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.