Miranda made his full international debut for Brazil in 2009 and was a member of the squad which won the Confederations Cup that year. He also played at three Copa América tournaments and the 2018 FIFA World Cup, captaining Brazil at the Copa América Centenario in 2016 and winning the 2019 Copa América.