[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]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 [email protected]
Best wishes, Mohammad
OpenPGP_0x13989F653A992D8E.asc
Description: OpenPGP public key
OpenPGP_signature
Description: OpenPGP digital signature
