[TYPES/announce] funded PhD position (UK home fees) at Queen Mary University of London

[Raymond Hu]

Hello everyone

I have a funded PhD position for a UK Home student available at Queen 
Mary University of London (QMUL).

The student will join my project on Distributed Dynamic Software Updates 
using Multiparty Session Types (DymSUM).  The main topics are 
programming languages and type systems, session types and behavioural 
types, distributed systems and distributed programming, and concurrency 
theory.

The student will be a member of the Centre for Fundamentals of AI and 
Computational Theory (FACT) in the School of Electronic Engineering and 
Computer Science (EECS).

The application deadline is 1 July 2026.  The student is expected to 
start from 1 Oct 2026.

See here for details:

https://urldefense.com/v3/__https://www.qmul.ac.uk/eecs/phd/phd-studentships/-languages-and-tools-for-safe-programming-of-distributed-dynamic-software-updates-/__;!!IBzWLUs!UlJ1jndTalkDRiPlB489LJ4re5Wu7JUHe7XuJ100dLPnlEWa7OfIr0aWBd0ILiDu_jn6MAxih9vEbAQGUL5DKi1tK81wKE_B$ 

You're welcome to email me (Raymond Hu) at r.hu at qmul.ac.uk or 
r.hu.qmul at gmail.com

Best wishes,
Ray