A partire dal 2014, con il ritorno di Dunga alla guida della nazionale, Miranda diventa titolare nella retroguardia verdeoro, partecipando alle edizioni 2015 e 2016 della Copa América. Il 6 settembre 2016 segna la prima rete in nazionale nella vittoria contro la Colombia valida per le qualificazioni al Mondiale 2018. Viene convocato da Tite per la stessa rassegna iridata, giocando da titolare tutte e cinque le gare. Nel 2019 partecipa alla Copa América 2019 disputata in Brasile, con la nazionale padrone di casa che si laurea campione.