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