PhD Studentship in Automated, Provable, Safety-Aware Software Rewriting for Security (University of Southampton School of Electronics and Computer Science)