[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 [email protected] or
[email protected]
Best wishes,
Ray
