[TYPES/announce] Funded PhD Position for UK Students at University of Strathclyde

[Jan de Muijnck-Hughes]

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.