[TYPES/announce] PhD Studentships in Formalising CS/Maths at King's College London

[Mohammad Abdulaziz]

There are a number of available PhD studentships in the general areas of 
formalisation of theoretical computer science in proof assistants, with 
potential applications to AI and social welfare, at King's College London.

Two of the positions are at the Centre for Doctoral Training on Safe AI, 
which is a cohort-based PhD programme run jointly by King's College 
London and Imperial College London. They are described in the following 
two links:

https://safeandtrustedai.org/project/formal-reasoning-about-golog-programs/

https://safeandtrustedai.org/project/verification-of-matching-algorithms-for-social-welfare/

The descriptions are just indicative of what could be done, but you can 
shape the project based on your preference. Deadline for those positions 
is 3 April.

There are also other possibilities for pursuing a fully funded PhD if 
you have interest in the verification of algorithms, formalisation of 
complexity theory, formalisation of mathematics, or algorithms and 
theory for AI planning. More details can be found on my website:

https://home.in.tum.de/~mansour/

If you are interested in any of these positions please email 
mohammad.abdulaziz at kcl.ac.uk

Best wishes,
Mohammad
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0x13989F653A992D8E.asc
Type: application/pgp-keys
Size: 2452 bytes
Desc: OpenPGP public key
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230306/6e26a578/attachment-0001.skr>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 665 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230306/6e26a578/attachment-0001.sig>