home.social

#formalmethodsforsecurity — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #formalmethodsforsecurity, aggregated by home.social.

  1. Applications for PhD scholarships (UK students fully funded, international students part funded) in Computer & Information Sciences are open. Details on applications within StrathCyber here: strath.ac.uk/science/computeri Deadline 22nd November. #PhDScholarship #Cybersecurity #DigitalHarms #PhD #FormalMethodsForSecurity #SystemsSecurity #HumanFactors