[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
[email protected]<mailto:[email protected]>
--
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$
