[TYPES/announce] PhD Studentships in Computer Science at Queen Mary University of London

[Raymond Hu]

PhD Studentships in Computer Science
at Queen Mary University of London, UK
--------------------------------------

The Theory Group in the School of Electronic Engineering and Computer 
Science at QMUL is inviting applications for two PhD Studentships in the 
following areas:

* Probabilistic Programming, without Sampling
   Supervisor: Fredrik Dahlqvist  -- f.dahlqvist at qmul.ac.uk
   See: 
https://urldefense.com/v3/__https://www.qmul.ac.uk/eecs/phd/phd-studentships/qm-principal-epsrc-dtp-phd-studentships/probabilistic-programming-without-sampling/__;!!IBzWLUs!Tr8IVvryTpTGJu8msMZj6vMIfgZa7Rxsrm1WCHjQN0gw56gm_zsv23lL4bha-yCLJnRaZRpkqM0eyDtOI9kj9UD4Aa55rg$  


* Session types for safe distributed programming
   Supervisor: Raymond Hu  -- r.hu at qmul.ac.uk
   See: 
https://urldefense.com/v3/__https://www.qmul.ac.uk/eecs/phd/phd-studentships/qm-principal-epsrc-dtp-phd-studentships/session-types-for-safe-distributed-programming/__;!!IBzWLUs!Tr8IVvryTpTGJu8msMZj6vMIfgZa7Rxsrm1WCHjQN0gw56gm_zsv23lL4bha-yCLJnRaZRpkqM0eyDtOI9kj9UDkrWg2ow$  


Key info:
* QM Principal Studentships are open to students with UK Home fee 
status, and support tuition fees and a London stipend for 3 years.
* Application deadline: 1 June 2024
* Expected start date: September 2024

For more info about each project, the Studentships (e.g., stipend) and 
application details, please see the above links and also this general 
announcement:

https://urldefense.com/v3/__http://eecs.qmul.ac.uk/phd/phd-studentships/qm-principal-epsrc-dtp-phd-studentships/principal-and-epsrc-dtp-phd-studentships__;!!IBzWLUs!Tr8IVvryTpTGJu8msMZj6vMIfgZa7Rxsrm1WCHjQN0gw56gm_zsv23lL4bha-yCLJnRaZRpkqM0eyDtOI9kj9UB1DSA-_g$  


Feel free to get in touch with the listed contacts for each project for 
more details.