W reprezentacji Panamy Machado zadebiutował w 2008 roku. Został powołany do kadry na Złoty Puchar CONCACAF 2011, 2015 i 2019. Wystąpił również na Mundialu 2018.