 Miranda scored his first international goal on 6 September 2016, in the second minute of a 2–1 win over Colombia in Manaus in 2018 FIFA World Cup qualification.Manager Tite named him in the final 23-man squad for the finals in Russia.In May 2019, Miranda was included in Brazil's 23-man squad for the 2019 Copa América on home soil.