В 1934 году Тиноко в составе сборной Бразилии поехал на чемпионат мира. Там в первой же игре Бразилия проиграла Испании и выбыла из турнира. Тиноко провёл на поле в этой игре все 90 минут. За национальную команду полузащитник сыграл ещё одну встречу, 24 июня того же года со сборной Каталонии (2:2), ставшую для него последней за национальную команду.