Mazinho mängis 35 korda Brasiilia rahvuskoondises, esimene mäng oli 1989. aasta mais sõbralikus mängus Peru vastu ja viimane oli 1994. aasta jalgpalli maailmameistrivõistlustel. 1994. aasta maailmameistrivõistlustel, mis võitis Brasiilia, oli ta kolmas osa "kolme mehe ja beebi" tähistamisest koos Bebeto ja Romárioga veerandfinaalis Hollandi vastu. Mazinho võitis ka Copa América 1989. aastal.
Ta mängis siis kaitsjana.