[TYPES/announce] Funded PhD position in MSP Strathclyde (UK)

[Vikraman Choudhury]

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