We investigate spectral statistics in spatially extended, chaotic many-body quantum systems with a conserved charge. We compute the spectral form factor K(t) analytically for a minimal Floquet circuit model that has a U(1) symmetry encoded via spin-1/2 degrees of freedom. Averaging over an ensemble ...