20 sierpnia 2007 Miranda otrzymał pierwsze powołanie do reprezentacji Brazylii na mecz z Algierią w miejsce kontuzjowanego Lúcio, jednak całe spotkanie przesiedział na ławce rezerwowych. Swój debiut w kadrze narodowej zaliczył 2 kwietnia 2009 w wygranym 3:0 meczu eliminacji do Mistrzostw Świata w RPA z Peru. W tym samym roku został powołany do kadry na Puchar Konfederacji, który Brazylia wygrała.