coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Mohammad Abdulaziz <mohammad.abdulaziz8 AT gmail.com>
- To: isabelle-users AT cl.cam.ac.uk, coq-club AT inria.fr, types-announce AT lists.seas.upenn.edu, fscd.conference AT dcc.fc.up.pt, rewriting AT ens-lyon.fr, ProofTheory AT Lists.Bath.Ac.UK
- Subject: [Coq-Club] PhD Studentships in Formalising CS/Maths at King's College London
- Date: Mon, 6 Mar 2023 12:33:04 +0000
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mohammad.abdulaziz8 AT gmail.com; spf=Pass smtp.mailfrom=mohammad.abdulaziz8 AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm1-f53.google.com
- Ironport-data: A9a23:MjQRdKBEgFOPNBVW/+Pow5YqxClBgxIJ4kV8jC+esDeIYAhSqHVSk AJoOQaGcv6Ja2r8Dd9za/y//EhysePLn5UweLZf3S88QnwaopvPDNnAckn7ZC7MJ8eZEBo44 cwQMtSbc8puRHaF+kjzabHvoykn3qrSGer3BbaYNnAtSQM7GXxx1RgLd4LV+mJNqYHR71Sl4 4+v+aUzQWOY5gKYW490gk7pgDR3sfLKlwsvpV0xY/lXoUXT/5V+JMpOfPnudiehTNMMQr7lG +yexbvo8j/T8klxV4j+yeyrKBxaG+OPMVPRhitYAPmr2xFL9iE836gwbfFDYxYGgGXhc7yds DloncXYpVABYPOR8AhkbyRlLs1eAUFn0OSeLyHh75HOkxCbenfmn/gyAR1mZNBJouwpXDBAp fBBAT1cNRrra8CekOvqELE07igABJC2Z91H4ikIIRXxV6tOrUXrGv2SjTNg9G5swJoIRJ4yX uJBARJ3dhPMfhZTDVkeDZM6jY+Ai2L2G9FigAv9SZEfvi6CnGSd7JC3aICOIofSG50M9qqlj juuE1rRUkly2OO3kmLtHkKE3ofngS79UYQOI7y0ntYCbIq7mwT/oDVPPbeKiaHRZnyWA7qzG GRIksYalpXewWTwJjXLs7JUl1bf1vIUc4I4/+TXc2hhwIKMi+qSLjBsojKs9LXKHSL5LNAn/ gbhoj/nOdBgmKCMb3mwqZ2slmrxY3kYHFRYT3clcSJQtrEPoKlr5v7OZtNqEarwkdisXD+tm HaFqy8xg7hVhskOv0m51Qqf0nT8+96QFF5zu16/smGNtmuVYKagYIyh7F3S4bBJJoqESlCTv WpUs8eb5eEKS5qKkURhRc1cQe/wvK/Ua1Uwh3Y/QcIi2h+q4EWRcKUN3gsuA317LewtLGqBj Ej74FsNvve/JkCCZqhuJom1Fs4C1rnlDd2jV/bOb9MIbIIZSeOc1CRnZErVwGW01UZxyucwP pCUdcvqBnEfYUh68Naob/oE97QGmQoG/jqQH8H2/i/9++K/WFfAHN/pL2CyRuw+6aqFpiDc/ NBeK9aGxn1jvAvWMna/HWk7fQBiEJQrOXzlg5cIKbPbc2KKDElkWqCBm+pwE2Bwt/0Nzr+gw 52rZqNPJLPCaZDvLAyLbjV8beqqU8sk6308OiMoMBCj3H1LjWeTAEU3J8VfkVoPrrQLIRtIo x8tJZzo7hNnFG+vxtjlRcOhxLGOjTzy7e50AwKrYSIkY7lrTBHT99nvc2PHrXdRXnLr7JNk/ eX5i2s3pKbvoSwyU646j9r/nzuMUYQ1xYqeomOSc4ULKRmymGSUA3Cq1aRfzz4wxeXrn2PGj W568D8Xou7Cp4JdzTU6rfHskmtdKMMnRhAyNzCDs96ebHCGlkL+n9IoeLvXJVj1CjmokI38P r4956+nYJU6cKNi6dUU/0BDlvJgubMCZtZykmxZIZk8Rwj6W+k8eyPuMAsmnvQl+4K1cDCeA iqnkuS2853QUC88OA9KfFgWfa6Y2OsKmzLfy/0wLQ+orGV05beLGwEadRWFlCUXfvM/PZIH0 NURnpccyzW+rR42bfeArCRfrFqXIlI6Dq4Ii5A9Aa3QsDQN9G1sW5LmN3LJ0Mm9UOkUakgOC R2ItZXGnIVZlxbjcWJsNH3j3th9pJUpuTJMxmAsP16ix9jP3Kc2+DZz8j0HaBtf4Tsa8uB0O 0ltb1ZUI4fX9RhWpcFzZUKeMCAfOw+4o2va1EksuFDCaXWRRkjhDTEYKPmc2kI06EdedWVrx 66Zw2PbTjraRsH98S8sU0pDqfa4b9hO2iDducKgDeKXNoIbZGf7v6qQemY4kRvrLscvjknhp +Mx3uJRa7X+BBEAsZ8AFIiW+rQBei+qfFUYb6law5oIOmXAdBWZ+zuEcRmxc/wQAc36yxazD sg2K/9fUxi76j21kQkaIqwycptUh/8i4eQQdoz7fVAmt6StlRs3kZby2BWnukoVbYRPq/stE qLQaDOILUKIj1R2hWLmjZdJK0i4U/Y+dSz+2+G/z8sRHbla6+tQXF0A0Iamm3CZLgE98wmmh 17BbfWOzshJ64dlr63zGIptWiS2LtLSUryT0QaR6t5hU/LGAf3shSg09Gb1GhtwPKQAfeh3m ZCmks/F7GmcsJkYC2nmyoS8TY9X7sCMbc9rG8PQLkgCuxCdWcXpsiAxy0rhJbNnyNpit9SaH S2mY86NdPkQaddX5FtRTwN8Sx89KaDGXp3MlBOHjcanK0YiiFTcDdad63XWQ3lRdXYIN73AG wbEgauSye4CnrtcJi0vJq9AM8djLU7BSJkWUYT7lQOlA1mChnKAvbrfliQc1wzbN0ncEOvH5 cPqexuvUjWzp6DC8/9BuaNQoBA8LShwkMswTG0n6v90jDGIVjcGJNsCLKRcW411kzPz5r78d jrifGsvMgSjfDVmIDHXwsXvYRebPcMKYuzGHz0O+1iFTRu5H6aSKeJF2ho4xkxpaxzP6fqCK +AO3lHRZT+PmopIQ8QX7dyF2dZX/OvQnC80yBqsgv7MDAY7KpRU8W5qAy5mdzHNSuPJn2X1f VkFf3hOGhyHeBSgAPRbWiBnHT8Ct2nS1BQuVyCExejft6i9zOFtzP7eOfn54oYcbfYldaI/e nfqe1Sju2ym+GQfma8MieIbhaVZDfGqHM/jIpG6FEdW1+u15388NswPoTsXQYtwsERDGlfaj X+372J4GE2BL1tL1aaLzRkSvah8SW8IEyqDmTuXSeUqSvDl54Oxl9mWIAPHxVXYrqHiuwBHR W5XYhvK5VKRszTgqH91sfFzSplrxy0OPSGsb8zqZsqaftSQpKt1G7Vo0kV83NVUmJGB7psBb 76fir3R56r+Nh5iHGnYcBMxbb1urrNHEQMG41MsENSHCfPovL7Gnx2FxnpWg+rcbdyambjM7 yELV2HiNA==
- Ironport-hdrordr: A9a23:tB6tY6HTo5rYYVxqpLqEyMeALOsnbusQ8zAX/mhsVBpeadyAiq mV7Y8mPGzP+U4ssRAb6Kq90cy7K080mqQFg7X5UY3SOzUO21HYSb2Kj7GSoAEIcheWnoU86U 4JSclD4bbLfD5HZKjBkXCF+pobsb26GWOT6ds2DU0BceinUc5dBs5CZDqmLg==
- Ironport-phdr: A9a23:X967pxwb/GhT0g/XCzJ4w1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z hGZv609xwaQFazgqNt6yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6y9pHJfQlEmDmwbbxvI BmrsA7cqtQYjYx+J6k+zRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3Q qBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4 qx2ThLjlSUJOCMj8GzPicJ+gq1UrxyhqRJi3YDbfJqYNPVicq7HZ94WWWRMU8RXWidcAo28d YwPD+8ZMOhfqIn9p0EBrR67BQa2Gezk1yNFiWTr0q0n1+QuCwDH3A0hHtkTt3nUqdL1NKcIX uCwyanH1yjMY+lM1jjm9YfIbxQhruuNXLJxcMvcylIiFwzAjlqKqIzlOymZ2fgKs2ie9udtU /+khGE7pQ9ruDev2tsshZfThoIT0l3I6zl0zYQpKdGlVkN2YtGqHptNuyyYK4Z7Q94uTm90t Cs11LAItoK2ciYXxZonxxPSa/KKfomU7h/sUOucIyt1iXR4c7yxgBay9FKvyuz6VsSsy1ZFt CRFncfWuXALyhPT9tKHSuZm/ke9xzmAyhrc6uBeLUAzj6rbJIYtwqItlpoWq0jMAzH5lUPrh 6GVbkUp4vak5/jjb7n8pZKRN5V4hhzgPqktgMCyAeo1PhATU2WY+emwzqDv8E73TblQk/E7k bTVvIrHKckfu6K0BRJe3Jw55BalFTim1cwVnXkZI1JBfxKKl43pNEvPIPD8FPu+jVGsnCpyy /DIPrDsDI/BLnfEkLfmcrZ971BTxBAvwtBY4pJYErABIPTtVU/trNHUEAM1Pgiuz+vkCNhxz J4SVXyMD6ODMK7fv0eE5uc1LOmNYI8Vtiz9K/8g5/P2iH85nl8dcrOs3ZsScn+3A+5qLF+Cb nXxn9cBFX0Fvws/TO3ri1CPSjFTZ3OoUKI94jE3Ep6pDYDGRoy1hryOxz+0HodKaWBeFlCMD XDoep2ZV/sUciKdPtdhkiAYVbimU4IuyRautBbjx7V7KurU5zYXuIn41Nl14u3TjQs9+SZ1D 8SbyWGNTnt7knkGRz8sj+hDphl80V6J3Kx8jrlFDtFJ/NtCVkExPJuaxuc8FtO2EgnGZ5KCT EusatSgGzA4CNwrh5cScl5wAJCriBbEwiyhDpcRlqeXH9ov/6vHmWXpKsB7jXvKye1pgUItT o1EMmuoi7Ry8QPeL4LCmAOXnOC3beIEwGqF7mqc12uSvUdXeAN2SuDBTHcZIEXM6ZzB/ETFQ YOuBLM9IyNlyNWeMe1gY8Hpy3xNAsrAa/rEZGfkvmCwDBONz7/ERYDmZmEUziTPQBwBlAAa+ HOPOU43DCu8p2vMDS4+PV3qakLot+J5rSXoHQcP0wiWYhg5hPKO8RkPiKnEIxty9rcNuSN77 i5xAE74xdXdTdyJuwtmeqxYJ9I7+lZOk2zD5ERmJpL1CadkixYFdhhv+Vv03kByDYVJlM0jo DUjxgZvLauK0UERXzyd1JH0fLbQLzq65wihPpbfwUqWy9OK4uEK4fU8pU/kuVSsEUor9nBu3 59c2XeB4pzYDRhCeZ30W0czsRN9ouKSeTEzsqXT03AkKqyoqnnC1tYuUfMi0QqldsxDPbmsE QbzF4gFApHrJrFx3VeuaR0AMaZZ86tc09qOUfyA1ebrOe9hmGjjlmFb+MVn1UnK8SNgS+nO1 pJDwveC3wLBWS2uxFGm+tv6n4xJf1RwViK21DTkCYhNZ6ZzYZdDCGGgJNeyz8l/gJilUmBR9 VqqDVcLkMGzfh/aY1v41AxWnUMZxB7v0S6/zzVxljgl6KOV0DHKyvbjZkovNWtCRW0khlDpY MC1g90cQEm0fl0xjhL2gCSyj6Nfpal5MyzSWRISJ3mwfzwkC/Hg8OfZMKstoNsyvC5aUfqxe wWfQ7/5+V4B1j/7WnFZz3Y9fi2rvZPwm1p7jnicJTB9tim8G4k4yBHB6djbXfMU0CABQXwyj D7XD125NtXv9N+YipPKoOGsB0quU5RSdW/gyobK507ZrSV6RAaymfy+gIitFA862Cr+3tUsX C/EsRL1cIj5h4y1NOtmeg9jA1q2uK8YUslu14A3gp8Xw30TgJ6YqGEGnWnEOtJewavibXAJS Fbn2vbt6RP+kA1mJ3ONncfiU2mFh9FmbJ+8a38X3SQ064ZLDr2V5fpKh3k9rl29pAPXKf9z+ 1VVgf4p6HcfhugF/gMnwjiZC6ITDxlwMinllhDO5Ne75Klaf2egd7Gs2VE2x4jwSuHf5FgGC DCkId8rBkoSpo1nPUjJ0WHv542sY9TWYd8J91WVnxrGk+lJOcc0n/sOizBgPDG1tnkkxugny B12iMvi7c7XdiM0pvL/X0ULU1+9L9ke8Tzsk6tEy8Of3oT1W45kBi1ORpzjC/ShDDMVs/3jc QeICjw17HmBSt+9VUeS7llrq3XXHtWlLXaScTMcytVrQRyUKApWigwJWDwon4xpPg+vzc3lN kx+43pCgzyw4gsJ0e9uOxTlBy3aowehbzI9RN6WJhZL6ghQ5lWFGcOb5+N3WSpf+9fyyW7FY nzebANOA2YTX0WCDF22Jbii6+7L9O2AD/a/Jf/DMv2e7PZTXPCSydezw5NrqnySY96XMCAoX JhZkgJTGGp0EMPDl3ATRjwLwmjTOtWDqk70+zUr/Jvitq26AES1udTJU/wIbZ1u40zk3/vFb bXLwn8ncXAAkcpdoB2AgLkHgAxM1Wc3L2PrSfJY8nSVBKPIxv0JUVhBN3I1ZJMOt+VmhkFMI ZKJ1Ymzj+I+169vTQ8CDAyE+InhZNRWcT7hcgqdWQDTcuzBfGODwtmrM/rkGfsJ07oS51vo/ mzCW077YmbayGKvDkHzd7kK1GbCYnk88Mm8ako/UzCyCoK7LEThYJkvymRpibws2iGQbDBab Gg6KhIX6OXXtHIQg+0jSTYYsDw/drjCwHzft66Be/N0+bN9CyBw3Yq2+VwczL1YpGFBTf1xw m7Jq8J25kuhma+JwyZmVxxHrnBKgpiKtANsI/eR8J4IQnvC8B8XiAfYQx0Xu9toDMHusKFM2 5DOkqz0MjJL79PT+4MVGcHVLMuNNHdpPwDuHXbYCw4MTDjjMm+65QQViPaJ6nictYQ3sLDpk ZsKD6BeDRk7S6hcBUNiE9gPZpxwW3JskLKWitIJ+WvrrBTVQ5Y/3NiPXfaTDPPzbTeB2OMcN l1YnPWhd9RVa9aovi4qIkN3l4nLBUfKCNVEoyk7KxQxvF0I6n91CGs6x0PibAqppn4VD/+92 BAs2W4cKawg8inh51AvKx/Eviw1xQM0ntXshDWYfHj4JqutWYhECjikn0c0O5L/BQ1yaEfh+ C4sfCeBXL9Xg7Z6ICpzjxTAvJJUBfNGZahNYRtV2vTOIvt1ihJTrSKowUIB7uzAQ8gH9kNiY dunqHRO3BhmZdg+KPnLJaZH+VNXg7qHoi6i0u1ZKO42Ik8M9CaNfXdNthFTcLYhICWs86pn7 gnQw1Orl0ADUvMrprRh8UZvYoxoKgrv1rdCLga6MOnNd8uk
- Ironport-sdr: 6405dd83_3jenD1XEACJqUZxiENr4Y2Rt6uvyW6iXXajaZEHETSE2Jyp v/UzKtIKMx1EpDq00rWOs9BOf2QI2sq3Cte3MXg==
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
Attachment:
OpenPGP_0x13989F653A992D8E.asc
Description: OpenPGP public key
Attachment:
OpenPGP_signature
Description: OpenPGP digital signature
- [Coq-Club] PhD Studentships in Formalising CS/Maths at King's College London, Mohammad Abdulaziz, 03/06/2023
Archive powered by MHonArc 2.6.19+.