Canonical is funding a Bristol PhD project on using LLMs to translate large C codebases into safe Rust.