[Agda] PhD Position in Programming Languages at TU Delft

[Casper Bach Poulsen]

Dear all,

I have an opening for a 4 year PhD position in the Programming Languages
Group at Delft University of Technology.

The PhD position is about defining and implementing typed programming
languages in a modular way.

The ideal candidate will have experience with one or more of the following
topics:
- functional programming
- monads and/or algebraic effects and handlers
- programming language engineering (interpreters/compilers/type
checkers/...)

The full ad (link below) contains suggestions for topics that can be
explored as part of the PhD.  But the topic is not limited to the
suggestions in the ad.  Get in touch if you are interested in doing
research on defining and implementing typed programming languages,
modularly.

https://www.academictransfer.com/en/298133/phd-position-dynamic-semantics-specification/

The deadline for application is 2 June 2021, and the ideal start date is
around September.

Best regards,

Casper Bach Poulsen
Assistant Professor, Delft University of Technology
http://casperbp.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210323/e37e3252/attachment.html>