Logic List Mailing Archive

`CfA: Funded PhD Position in Category Theory, Type Theory, and Semantics, University of Strathclyde (UK), deadline: asap`

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
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php