I have a funded #PhD position for UK students, available with myself and @bentnib
This project will be looking at developing new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research.
Deadline: Thursday 20th March 2025
You will belong to @StrathCyber and @mspstrath, as well as gaining access to @spli
For now more details about the project are on my personal website.
https://tyde.systems/page/position/2025-jarss/
Please spread the words.
Jan de Muijnck-HughesTowards Type-Driven Assurance of Communicating SystemsDeadline 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.
Contact Informal enquiries about the studentship are to be directed to Jan de Muijnck-Hughes (Jan.
Commission is planning "legal" backdoors for devices & apps! PR-speak: 