https://tyde.systems/research/position/Recent content in Positions on Jan de Muijnck-HughesHugoenThu, 02 Jan 2025 00:00:00 +0000https://tyde.systems/research/position/2025-jarss/Thu, 02 Jan 2025 00:00:00 +0000https://tyde.systems/research/position/2025-jarss/<blockquote> <p>This opportunity is no longer available.</p> </blockquote> <ul> <li><strong>Deadline</strong> Thursday 20 March 2025</li> <li><strong>Duration</strong> 36 Months</li> <li><strong>Start Date</strong> October 2025</li> <li><strong>Funding</strong> Home fee, Stipend</li> <li><strong>Supervisors</strong> Jan de Muijnck-Hughes, <a href="https://bentnib.org/">Bob Atkey</a></li> <li><strong>Groups</strong> <a href="https://www.strath.ac.uk/science/computerinformationsciences/strathcyber/">StrathCyber</a>, <a href="https://msp.cis.strath.ac.uk/">MSP</a></li> </ul> <p>This <a href="https://www.strath.ac.uk/studywithus/scholarships/johnandersonresearchstudentshipschemejarss/">JARSS PhD studentship</a> 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.</p> <p>Please go here to apply:</p>