Canonical is partnering with the University of Bristol to develop a neurosymbolic platform for migrating large C codebases to safe Rust. The project aims to overcome the limitations of manual rewriting and existing automated tools by combining machine learning with formal verification methods.