The Trustworthy Systems Research Group, based within the School of Computer Science and Engineering conducts world-leading research on software systems whose trustworthiness can be mathematically proven.
About this role:
* You will contribute to a range of activities including developing proof techniques for systems software and their application to verification of real-world software systems.