W seniorskiej reprezentacji Kostaryki Miranda zadebiutował za kadencji selekcjonera Óscara Ramíreza, 2 lutego 2016 w przegranym 0:1 meczu towarzyskim z Wenezuelą. W styczniu 2017 został powołany na turniej Copa Centroamericana; tam rozegrał trzy z pięciu możliwych spotkań (z czego wszystkie w wyjściowym składzie), zaś jego kadra zajęła czwarte miejsce w rozgrywkach.