Carlos on edustanut Angolan maajoukkuetta vuodesta 2009 lähtien yhteensä 9 ottelun verran. Hän pelasi ensimmäiset arvokisansa vuoden 2010 Afrikan kisoissa, jossa Angola selvisi puolivälieriin.