Leiden University (@unileiden.bsky.social) is hiring:
Postdoctoral Researcher in Control-flow Equivalence Applications
#postdoc
---
Job ID: 16630
Extract: 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.