águas made his debut for portugal on 23 november 1952, in a 1–1 draw with austria, and went on to gain a total of 25 caps while scoring 11 times. his last appearance was on 17 may 1962, a 1–2 defeat against belgium.