Á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.