Funded PhD position in MSP Strathclyde (UK)
14 views
Skip to first unread message
Vikraman Choudhury
May 12, 2026, 8:56:09 AM (4 days ago) May 12
to categor...@categories.org.au, types-a...@lists.seas.upenn.edu, construc...@googlegroups.com, homotopyt...@googlegroups.com, univalent-...@googlegroups.com, logic...@outlook.com, sp...@lists.cent.gla.ac.uk
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://msp.cis.strath.ac.uk/
Apologies if you receive multiple postings of this message.
--
Vikraman
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://msp.cis.strath.ac.uk/
Apologies if you receive multiple postings of this message.
--
Vikraman
Reply all
Reply to author
Forward
0 new messages