PhD Position in Programming Languages: Are you passionate about programming languages and eager to delve into cutting-edge research in the field? Join the team of Prof. Tom Schrijvers at KU Leuven for an exciting PhD position in Programming Languages. This scholarship offers a competitive monthly stipend and the opportunity to be part of an innovative and interdisciplinary research environment.
Designation:
PhD Position in Programming Languages
Research Area:
- Functional programming
- Haskell
- Type systems
- Programming language meta-theory
- Computational effects
- Code generation techniques
- Multi-stage programming
Location:
Leuven, Belgium
Eligibility/Qualification:
- Hold a master’s degree in computer science or related field
- Strong academic track record
- Demonstrated interest in programming languages and theory
- Knowledge in areas such as functional programming, Haskell, calculi, type systems, etc.
- Proficiency in English
- Passion for theoretical work combined with practical programming
Job Description:
The project focuses on advancing multi-stage programming by developing the interaction between staging and computational effects. The research will involve a foundational approach, developing a formal calculus for multi-staging with support for algebraic effects and handlers, alongside practical case studies.
How to Apply:
Interested candidates can apply for this position by contacting Prof. Dr. Ir. Tom Schrijvers via email at tom.schrijvers@kuleuven.be. For more information, feel free to reach out to Prof. Schrijvers directly.
Last Date for Apply:
October 10, 2024
This scholarship opportunity offers a stimulating environment at KU Leuven, known as Europe’s most innovative university. Don’t miss out on this chance to be part of a research team driving advancements in programming languages and software development. Apply now and embark on an enriching research journey!
