20. elokuuta 2007 Miranda kutsuttiin ensimmäisen kerran Brasilian maajoukkueeseen korvaamaan Lúciota ystävyysottelussa Algeriaa vastaan. Hän joutui seuraamaan koko ottelun vaihtopenkiltä. Seuraavan kerran Miranda esiintyi Brasilian paidassa vuoden 2010 MM-karsinnoissa Perua vastaan. Hän toimi pelissä loukkaantuneen Luisãon korvaajana 1. huhtikuuta 2009. Hän kuului Brasilian kokoonpanoon muun muassa vuoden 2009 Maanosaliittojen cupissa.