I have various ideas around security (including cloud security), programming languages such as Rust or Wyvern, and verification of embedded, cloud, or even Quantum Computing programs. Please get in touch with me if you have done programming languages or software verification courses to figure out a project that works at any level from the 4th year (Honours) and above.
Security and Programming Languages
Making Software Trustworthy and Secure