Post #2340239

A *gentle* reminder that, 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 for getting in contact is: Thursday 20th March 2025 You will belong to @StrathCyber and @mspstrath, as well as gaining access to @spli https://www.strath.ac.uk/studywithus/postgraduateresearchphdopportunities/science/computerinformationsciences/towardstype-drivenassuranceofcommunicatingsystems/ #PL #Idris #TypeTheory #Security #Verification #FP