[TYPES/announce] *Last Call*: Funded PhD Position for UK Students at University of Strathclyde

[Jan de Muijnck-Hughes]

Dear all;

This is the *last call* for this opportunity.

If you know any students for whom this opportunity is applicable please 
do pass the message on.

The hard deadline is: Wednesday 16th April 2025.

Thanks

Jan

On 17/03/2025 10:06, Jan de Muijnck-Hughes wrote:
> 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!UlUrp-bdvYtMRMWBxdaM7-XgcYWUjA849uGX4RIt77mullUlR7NvDP42lNXOZUAfzAU8J-ls-PhaqcpXeIlQMYeyCZjj5PyiUy56mRuFv3N97Q$ 
> 
> 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!UlUrp-bdvYtMRMWBxdaM7-XgcYWUjA849uGX4RIt77mullUlR7NvDP42lNXOZUAfzAU8J-ls-PhaqcpXeIlQMYeyCZjj5PyiUy56mRt_NE6LWg$ 
> [2] https://urldefense.com/v3/__https://msp.cis.strath.ac.uk/__;!!IBzWLUs!UlUrp-bdvYtMRMWBxdaM7-XgcYWUjA849uGX4RIt77mullUlR7NvDP42lNXOZUAfzAU8J-ls-PhaqcpXeIlQMYeyCZjj5PyiUy56mRtiz1HMLg$ 
> [3] https://urldefense.com/v3/__https://spli.scot/__;!!IBzWLUs!UlUrp-bdvYtMRMWBxdaM7-XgcYWUjA849uGX4RIt77mullUlR7NvDP42lNXOZUAfzAU8J-ls-PhaqcpXeIlQMYeyCZjj5PyiUy56mRvAcojGEA$ 
>