W reprezentacji Brazylii Mazinho zadebiutował 13 grudnia 1990 w meczu z reprezentacją Meksyku. W następnym roku grał na Copa América 1991, na których Brazylia zajęła drugie miejsce. Ostatnim meczem Mazinho w barwach "canarinhos" był towarzyski mecz z reprezentacją Walii. Łącznie Mazinho zagrał w barwach "canarinhos" 9 meczów i strzelił 2 bramki.