Post #1111113
2025-02-07 21:35 UTC
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.
#dependentTypes #formalMethods #idris #programmingLanguageTheory #typeTheory #idris2 #computerSecurity #cybersecurity #securityByDesign #secureByDesign
Replies (1)
-
@jfdm@discuss.systems 2025-02-12 22:20
@bentnib @StrathCyber @mspstrath @spli We now have a more proper place to advertise from! https://www.strath.ac.uk/studywithus/postgraduateresearchphdopportunities/science/computerinformationsciences/towardstype-drivenassuranceofcommunicatingsystems/