Towards Type-Driven Assurance of Communicating Systems
This opportunity is no longer available.
- Deadline Thursday 20 March 2025
- Duration 36 Months
- Start Date October 2025
- Funding Home fee, Stipend
- Supervisors Jan de Muijnck-Hughes, Bob Atkey
- Groups StrathCyber, MSP
This JARSS PhD studentship will develop new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research as pioneered by the supervising team, and the wider MSP and StrathCyber research groups.
Please go here to apply: