Post #2340238

*Last Call* I have a #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. *Hard Deadline*: Wednesday 16th April 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/ (Ignore the deadline on the advert) Please spread the words. #dependentTypes #formalMethods #idris #programmingLanguageTheory #typeTheory #idris2 #computerSecurity #cybersecurity #securityByDesign #secureByDesign