Post-Doctoral Researcher on Applications of Control-flow Equivalence to Systems and Security
Leiden University
Netherlands
Summary
Fully funded three-year postdoctoral position across theory and systems, exploring automata-based program analysis for security and compiler optimization. Develop bisimulation for control-flow graphs, code similarity and vulnerability detection; start September 2026.
