Dear all,

I am looking for a #PhD student to work on (any subset of) these topics:
#semantics, #domaintheory, #categorytheory #typetheory and #functional programming.

Deadline for application is 15th of February 2025.

Please get in touch if interested, here's the official call: kent.ac.uk/scholarships/search…

Scholarships search - University of Kent

^{Scholarships search - University of Kent}