[TYPES/announce] PhD scholarship at King's College London

[Maribel Fernandez]

King’s College London is offering a PhD scholarship in the areas of programming language semantics and software verification.

More details are available here:
https://urldefense.com/v3/__https://www.kcl.ac.uk/study-legacy/funding/phd-studentship-nominal-specification-and-verification-environments__;!!IBzWLUs!RIkAMfpB2fWhluSkoxHs3ZGuw_9TDQracbBIw53twD9rWqHsaf6e20AkVkK5pXlATwrigW_WCkN3i-D1KVox3EjhkeirGEX-DTzPsc0iZV9o$ 

Applications should be submitted by the end of December for a start in June 2025 and by the end of May for a start in October 2025.
Applications will be assessed as they arrive so submit as early as possible.

For more information please contact Maribel Fernandez
Maribel.Fernandez at kcl.ac.uk<mailto:Maribel.Fernandez at kcl.ac.uk>


--
Maribel Fernandez
Vice Dean  (People and Planning), Faculty of Natural, Mathematical & Engineering Sciences
Professor of Computer Science, Department of Informatics
King’s College London
https://urldefense.com/v3/__https://nms.kcl.ac.uk/maribel.fernandez__;!!IBzWLUs!RIkAMfpB2fWhluSkoxHs3ZGuw_9TDQracbBIw53twD9rWqHsaf6e20AkVkK5pXlATwrigW_WCkN3i-D1KVox3EjhkeirGEX-DTzPsSu1S2Tx$ 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20241104/0aa899d6/attachment-0001.htm>