Canonical is funding a University of Bristol PhD to automate translation of C code into Rust for Ubuntu's security tools.