Mazinho mendapatkan 35 caps dengan tim nasional Brasil, yang pertama datang pada bulan Mei 1989 dalam pertandingan persahabatan melawan Peru dan yang terakhir selama Piala Dunia FIFA 1994. Pada Piala Dunia 1994, sebuah turnamen yang dimenangkan Brasil, ia adalah anggota ketiga dari perayaan "tiga pria dan bayi" dengan Bebeto dan Romário dalam kemenangan perempat final melawan Belanda. Mazinho juga merupakan pemenang Copa América pada tahun 1989
, di mana pada saat itu dia bermain sebagai full-back.