PhD Studentships in Formalising CS/Maths at King's College London

Mohammad Abdulaziz <[email protected]> Mon, 6 Mar 2023 12:33:04 +0000

Newsgroups	gmane.comp.science.types.announce,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.prooftheory
Message-ID	<[email protected]>

[ 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 (application/pgp-keys, 2.4 KB)

-----BEGIN PGP PUBLIC KEY BLOCK-----

xsDNBGPabr4BDADbjTZZ2WNdKaQ2anFghUG6J2LPDkL59L8vwlf+uyZg+nAS3+Lh
y9Zm5XKGHDZfhkKOpJ8me0qxTc4tst/CvW7Ffgyp0Z2ZMmeVQXTYB0EdpBKgzR7m
74OP0tkxAT89ESlpbaF7kIPux6CwVADF1l51355o7z7bz3TJpNJdkbv3Q6nNGxyN
ZdbIApy28ulnXvJvWtFmWGAfYdumhgZI9WBgzPz5gL6aif/qKEKgn04EHBFPNJF2
ques0Ua7MTCZwpk3bX2FIomcA4/9BXSOFgEjk82RSzHHATb7U5l2LulhEMMhjqwR
KXEpcGOXMfnfmT/vK7jmqCuJPWOgzbbqze7iUTYa0uSjrjaMTkUxYA9zdBq14DZV
P/9CfB4FerSAhSKdb1IFYhOd27upky36HevF7CJrJkXSm8+Ul1gY71HfvAn7JaEL
wzPW9ndRUEClf/hXPtS8jd2lxUFXwT/FTh8kPzfkU0G7G+mQ5e/4waRgkmCpk29H
9X8tdHqZ8StDpVEAEQEAAc0yTW9oYW1tYWQgQWJkdWxheml6IDxtb2hhbW1hZC5h
YmR1bGF6aXo4QGdtYWlsLmNvbT7CwQcEEwEIADEWIQT3o780xk6KRkpJ3UwTmJ9l
OpktjgUCY9puvgIbAwQLCQgHBRUICQoLBRYCAwEAAAoJEBOYn2U6mS2OkboMANA7
BQerTrXn0SgzgqmGtTp0Mt6Np/QMiH1EYoRKcJNHgWC+3JXbkBaX6WO6hwAWlLOi
x3wEvUQMgiu04EMlEB6XMqv7lz59Pst6gcGDD4v0Ij3E6y/h4M42VAjl5ACJWTOf
l7ShUVQpD7SUKeGDWHZ0gG5yiSBTwasYVTwystTDx1Qk4Tv8sg4xrRdofePwgxYN
n5+gaccHFzfog9nscRKkKRo2zlVR+w1SNDDJY6hta3Hfoaz6P6EmS/N0F1z9IpcW
qgZaTtqaUnV4FZnqm5BrYn6CDvm++W1XEN5ErwOyVy1YiGzTDCd5Xm4j7CgN6ew+
EM9OOKbohI9FiZiXDzlFEvSMFWOwsoUdxe1i5bucKHUC46RwQWt0GKBSxKfWiOlk
FBUiexQRVi1ZTrRKqBdMjRTCOxDDX6PNKre3q76Lu6yN+xpSYhU46KQLLimQW4Tc
Sx9plxH0/S+1wTeLNjgOv/DNYMRXgc6rCCu7FcZ/unTP/krK0PaBVdoteCZwIc7A
zQRj2m6+AQwA3yk70hLUDJQWN/b5ZxKqhFTrJltA21gVQejCYPKnXxJkQprKYiet
74/gcnUlJ4ufwZZR3n44G14tsNUfEArmuCrYZVshIcAwBX1W7laX2t5zyrmv/9dP
TIzK3tvSFmuRbonURdDyH8vENnVCz35YAt337HqML58duiF6tlkN4nUUNHebm4rc
QSPMmy6oK7tUrYutsmCdmT9KQfmkdC4OtgbMnohivd45JVhVfXqArRRFsWBO579O
AzkYeXbw4W5he5N050m/q9H/Dre+Y3d1CJayZXBbEmUEKQcaqxVmaXBYZ7R1Bhzx
i8GwzWbTPnBAoS8KQ+16xEkKFzf/JSb6ZRllv58ft0oYG9lpK+IN07sZRK9kd2ZU
ejpLgc/g3r9tzkMbKEEv0aY8xCFvf4ssezhgTckUEpJ1lzOSeu230DVXdbEiR/6p
uaAVllkmO7qSzEBlwJtG1LrAA/igeUmtrTdV3VLIKF1x1iv1XhNen2QQNpcHSpj8
JoHmnOPw8MELABEBAAHCwPYEGAEIACAWIQT3o780xk6KRkpJ3UwTmJ9lOpktjgUC
Y9puvwIbDAAKCRATmJ9lOpktjlX+DACYn6J6QPSJ2fly2qWH1a1fHQVQzmDkUx9M
gEjXNKj7lOnjJEGf9/CWqt1UATYYWpGieTUd367g312DCC6rfTIbRBJ9YxfgXdEP
9SQWwAOnuKuDa9r92fsXcZdquFWQkG7cis6dRiJuzMeyQVKvx7tFTAjXnc0gFKOf
TtskV14uRLQv6P9ODdSNkx+tPJ0lNGK4EFMOrXkkcyE5MkEpeHYi4C8vhjX3ah6d
npjfzgRDlLaU2BNjnLUcXC2kNr3n1GnkBFdWWz04sEGWHz/N510h0eqNDZDszJWF
6w5PP6yqMXx7bNCO1zXsI7KZEDGLHzuA6ZoHEcz610geRxbayoPiOWHen7BrAp7v
bYczf5g8gLEXZc4ZfQtueGLub7oqJPG84qC0pDFkr+77JaDNP/DAWRHh38hT9HP9
/LR7g2GrO0xbhbIXOlCT+74mJsYDSH5rjCLNhsknWa0XZHsm1NZ0U2KOxzoFZjmV
9tWM5Ytw2YSE5dMK2ltOUSUF7DscOhA=
=0lQ4
-----END PGP PUBLIC KEY BLOCK-----

OpenPGP_signature (application/pgp-signature, 665 B) - not displayed