[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]Dear all;I am fortunate to have a funded PhD position for *UK students*, available with myself and Robert Atkey at the University of Strathclyde.
This project will be investigating new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research.
Being part of Strathclyde enables membership to the StrathCyber and MSP research groups [1,2], as well as the Scottish Programming Languages Institute [3].
Deadline for getting in contact: Thursday 20th March 2025 Details:https://urldefense.com/v3/__https://www.strath.ac.uk/studywithus/postgraduateresearchphdopportunities/science/computerinformationsciences/towardstype-drivenassuranceofcommunicatingsystems/__;!!IBzWLUs!Rig46jfCNbUNXLn0aZZH0YQ2_YWV1Ulod4xw51ZwJys4hPMmDNJgHyAEA1wPcARBZFscAsgXr4vQHgBZIsya-ktXeQz4hZe1y89jTkWxCu-HvA$
If you know any potential students then please pass the message on. Thanks Jan[1] https://urldefense.com/v3/__https://www.strath.ac.uk/science/computerinformationsciences/strathcyber/__;!!IBzWLUs!Rig46jfCNbUNXLn0aZZH0YQ2_YWV1Ulod4xw51ZwJys4hPMmDNJgHyAEA1wPcARBZFscAsgXr4vQHgBZIsya-ktXeQz4hZe1y89jTkUKfl3R-Q$ [2] https://urldefense.com/v3/__https://msp.cis.strath.ac.uk/__;!!IBzWLUs!Rig46jfCNbUNXLn0aZZH0YQ2_YWV1Ulod4xw51ZwJys4hPMmDNJgHyAEA1wPcARBZFscAsgXr4vQHgBZIsya-ktXeQz4hZe1y89jTkVAfbxLAQ$ [3] https://urldefense.com/v3/__https://spli.scot/__;!!IBzWLUs!Rig46jfCNbUNXLn0aZZH0YQ2_YWV1Ulod4xw51ZwJys4hPMmDNJgHyAEA1wPcARBZFscAsgXr4vQHgBZIsya-ktXeQz4hZe1y89jTkUD2R4kag$
-- Thanking you for your time. Dr Jan de Muijnck-Hughes (he/him) Lecturer in CyberSecurity Department of Computer & Information Sciences University of Strathclyde [ Website ](https://urldefense.com/v3/__https://tyde.systems__;!!IBzWLUs!Rig46jfCNbUNXLn0aZZH0YQ2_YWV1Ulod4xw51ZwJys4hPMmDNJgHyAEA1wPcARBZFscAsgXr4vQHgBZIsya-ktXeQz4hZe1y89jTkVyrCjHhw$ ) The University of Strathclyde is a charitable body, registered in Scotland, with registration number SC015263.
