Miranda marcou seu primeiro gol em 27 de janeiro de 2018, marcando o segundo em uma vitória por 3 a 0 em casa contra o Granada.[5] Em 11 de dezembro, ele fez sua estreia Champions League para o primeiro time no empate 1 a 1 contra o Tottenham Hotspur.
Em julho de 2018, Mirando assinou uma renovação de contrato de 3 anos com o clube espanhol, tendo ainda uma multa rescisória de 200 milhões de euros (900 milhões de reais), sendo um recorde para um jogador de base no clube.[6]
Empréstimo para Schalke 04
Em 30 de agosto de 2019, Miranda foi contratado pelo FC Schalke 04, por um empréstimo de dois anos.[7] Em 15 de dezembro de 2019, ele fez sua estréia na Bundesliga com uma vitória em casa por 1-0 contra o Eintracht Frankfurt, quando substituiu o lesionado Weston McKennie aos 13 minutos.[8] Em 1 de julho de 2020, retornou porque o empréstimo foi encerrado antecipadamente, tendo Miranda feito 12 jogos pelo clube alemão.[9][10]
Empréstimo para Betis
2020-21
Em 5 de outubro de 2020, Miranda se juntou ao Real Betis por empréstimo para a disputa da temporada 2020–21.[11] Em sua segunda partida pelo Betis, Miranda fez seu primeiro gol pelo clube e na carreira[12] na vitória por 2–0 sobre o Osasuna em 6 de dezembro de 2020.[13]
Em sua primeira temporada pelo verdiblanco, fez duas 22 partidas com um gol e duas assistências, além de ser titular absoluto.[14]
Real Betis
2021-22
Em 1 de junho de 2021, o Barcelona anunciou que a cláusula no contrato de Miranda para prorrogá-lo automaticamente até 2023 não seria acionada, e que ele se juntaria ao Real Betis permanentemente assim que seu período de empréstimo terminasse. O Barça reservará 40% dos direitos de qualquer venda futura e direito de preferência na recontratação do Miranda.[15]
Fez seu primeiro gol na temporada em 16 de setembro, na vitória por 4–3 sobre o Celtic na 1ª rodada da fase de Liga Europa.[16]
Foi um dos convocados por Luís de la Fuente para disputar os Jogos do Mediterrâneo de 2018, na Espanha.[19] Fez parte do elenco que venceu a Itália na final por 3–2 e sagrou-se campeão do torneio.[20]
Sub-21
Em 18 de março de 2022, foi convocado pelo técnico Luís de la Fuente para disputar as primeiras rodadas das Eliminatórias de classificação para o Campeonato Europeu Sub-21 de 2023, contra Lituânia e Eslováquia, nos dias 25 e 29 de março, respectivamente.[21] Em 28 de junho de 2023, Miranda foi um dos convocados por para a competição.[22] Fez o gol da vitória por 2–1 sobre a Suíça em 1 de julho nos quartos de final do Europeu Sub-1, aos 103 minutos da prorrogação.[23]
Devido ao fato de Sérgio Busquets ter testado positivo para COVID-19, a Seleção Principal da Espanha inteira foi dispensada por ter riscos de contraído o vírus, tendo então o Sub-21 sido chamado para jogar o amistoso contra a Lituânia no dia 8 de junho 2021,[25] com Miranda fazendo sua estreia no jogo e marcado um dos gols da goleada de 4 a 0.[26]