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