W latach 2007-2010 występował w reprezentacji Angoli. W 2008 roku Luís de Oliveira Gonçalves powołał go do kadry na Puchar Narodów Afryki 2008. Na tym turnieju wraz z reprezentacja dotarł do ćwierćfinału jednak Machado nie zagrał w żadnym spotkaniu.