W 1934 Armandinho pojechał z reprezentacją Brazylii do Włoch na mistrzostwa świata, gdzie zagrał w jedynym, przegranym meczu przeciwko Hiszapnii, który był zarazem jego debiutem w reprezentacji. Łącznie w barwach "canarinhos" w 1934 roku rozegrał 4 spotkania, strzelając 1 bramkę (16 spotkań i 12 bramek licząc mecze z drużynami klubowymi i regionami).