Machado earned 19 caps for the Portugal national team, scoring once. His first appearance was on 21 November 1971, a 1–1 against Belgium for the UEFA Euro 1972 qualifiers.