Bastos debuteerde op 10 augustus 2011 in het Angolees voetbalelftal, in een oefeninterland tegen Liberia (0–0). Hij behoorde tot de Angelose selectie op het Afrikaans kampioenschap 2013 en het Afrikaans kampioenschap 2019.