Through his grandmother, Carlos chose to represent Angola at international level, the first cap coming in 2009 at nearly 30 years of age. He represented his adopted nation at the following year's Africa Cup of Nations, played on home soil.