KU Leuven invites applications for a PhD position in Prof. Tom Schrijvers' research team, exploring the interaction between multi-stage programming and computational effects. Ideal candidates hold a Master's in Computer Science, have a strong academic record, and a passion for programming languages like Haskell, type systems, and functional programming. We offer a 4-year scholarship, a dynamic research environment, and opportunities for international collaboration. Join us to push the boundaries of programming language theory! For more information see: https://www.kuleuven.be/personeel/jobsite/jobs/60384347?hl=nl&lang=nl