Carvalho played six times with the Portuguese national team, making his debut on 31 October 1965 in a 0-0 draw with Czechoslovakia for the 1966 FIFA World Cup qualifying campaign.
Selected for the finals in England he featured in the opener against Hungary (3-1 win in Manchester), but lost his place to C.F. Os Belenenses' José Pereira for the remainder of the tournament, with the country finishing in third place [REF].