Bastos, millî takımla ilk maçına 10 Ağustos 2011 tarihinde 0-0 berabere kaldıkları Liberyakarşısında çıktı. Angola'nın 2013 Afrika Uluslar Kupası kadrosunda yer aldı.