[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
I have a funded PhD position in the Mathematically Structured
Programming (MSP) Group at the University of Strathclyde, Glasgow,
UK.
The funding is for *UK Home* students only, with a starting date
between 1st October 2026 - 1st April 2027.
The proposed project is on polycategories and computational
dualities, though it doesn't matter in practice. I would be happy
to hear from anyone interested in category theory, type theory,
semantics, or related topics. Please get in touch with me *as soon
as possible*.
The official MSP group website is at:
https://urldefense.com/v3/__https://msp.cis.strath.ac.uk/__;!!IBzWLUs!S-J8Rub_Z6D_1bvwSS3MYRsExD6OMJkbMG8Bx1jcx9eWuQ4o53hMX8CY6EDTk7xe-Bs2nS06cAn70FyQ8eiVCuGWYXwxOepgzUgfl9hB$
Apologies if you receive multiple postings of this message.
--
Vikraman
