Post #1503000

@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/