Cambridge Quantum Computing is a world leading independent quantum computing company that develops architecture-agnostic enterprise quantum solutions to tackle some of industry’s most intriguing challenges. They are undertaking a KTP with the Department of Computer and Information Sciences at the University of Strathclyde to embed knowledge of advanced type systems, to enable the creation of a new programming language with a state-of-the-art type system for quantum software, improving productivity and in-house capability, boosting company growth