Quantum devices offer great promise for computation, cryptography, communication, and sensing. Alternative approaches to quantum information processing in which bosonic modes are the carriers of information have attracted increasing attention, because they offer a hardware-efficient path to fault-tolerance and scalability thanks to their inherently large Hilbert space. However, this poses the problem of providing rigorous guarantees of the correct functioning of these promising bosonic architectures, a task known as quantum verification. To date, this verification is performed by general-purpose tomographic techniques, which rapidly become intractable for large quantum systems. Thus, other methods are needed as quantum devices are scaled up to achieve real-world advantages. VeriQuB will introduce a new approach to the verification of quantum computing architectures with bosons based on continuous-variable measurements. VeriQuB’s technological toolbox will comprise two main elements. (i) We will experimentally demonstrate the verification of multi-mode bosonic systems for optical and superconducting architectures well beyond the state-of-the-art, and provide the first demonstration of verified quantum computational speedup. (ii) We will develop a theory framework that defines the fundamental advantages of our contribution, putting special emphasis on identifying and verifying resourceful bosonic quantum devices. The VeriQuB consortium comprises world leading scientific partners who are ideally positioned to achieve the ambitious vision of this project and build a state-of-the-art verification technology toolbox, enabling bosonic quantum computing architectures to scale up, and positioning Europe as a leader in this domain