Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD Studentships in Formalising CS/Maths at Ki...


view this post on Zulip Email Gateway (Mar 06 2023 at 12:38):

From: Mohammad Abdulaziz <mohammad.abdulaziz8@gmail.com>
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@kcl.ac.uk

Best wishes,
Mohammad

OpenPGP_0x13989F653A992D8E.asc
OpenPGP_signature


Last updated: Mar 29 2024 at 12:28 UTC