Rocha è cresciuto nel settore giovanile del Bolívar ed ha debuttato in prima squadra il 19 settembre 2021 nell'incontro di Primera División perso 2-1 contro l'Ind. Petrolero.[1] Ha segnato il suo primo gol il 22 maggio 2022 contro il Wilstermann.[2]
Il 22 marzo 2024 ha debuttato con la nazionale maggiore nell'incontro amichevole perso 3-2 contro l'Algeria[4] ed il 17 giugno seguente è stato incluso nella lista finale di convocati per la Copa América 2024.[5]