Miranda kreeg op 20 augustus 2007 zijn eerste uitnodiging voor het Braziliaans voetbalelftal. Dit was voor een oefeninterland tegen Algerije. Tot een debuut kwam het die wedstrijd niet. Hij maakte op 1 april 2009 alsnog zijn debuut voor het nationale elftal van Brazilië. Tegenstander was toen Peru, in een kwalificatiewedstrijd voor het WK 2010. Hierna volgde een selectie voor de Confederations Cup 2009 door toenmalig bondscoach Dunga. Miranda speelde dit toernooi een wedstrijd tegen de Verenigde Staten en won met Brazilië het toernooi. Tien jaar later won hij met zijn landgenoten de Copa América 2019. Hij was ook tijdens dit toernooi één duel actief. Miranda maakte ook deel uit van de Braziliaanse selecties op de Copa América 2015, Copa América Centenario en het WK 2018.
