В составе сборной Бразилии Мартинс поехал на чемпионат Южной Америки в 1919 году, но на самом турнире на поле не выходил. 1 июня того же года он дебютировал в составе команды в матче Кубка Роберто Чери. Годом позже он поехал на следующий розыгрыш южноамериканского розыгрыша, где сыграл 3 матча.