Rocha played 38 matches with the Brazilian national team in eight years, his debut coming on 19 May 1987 in an exhibition game with England (1-1).
In the latter edition Rocha could only appear 69 minutes for the eventual champions, a 2-0 group stage win against Russia, remaining injured for the remainder of the tournament.