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…
