Michálek on edustanut Tšekkiä jääkiekon aikuisten arvokilpailuissa neljästi, vuosien 2003, 2009 ja 2011 maailmanmestaruuskilpailuissa sekä vuoden 2010 olympialaisissa. Hän on edustanut maataan myös kahdesti alle 18-vuotiaiden maailmanmestaruuskilpailuissa, vuosina 2001 ja 2002, ja kerran alle 20-vuotiaiden maailmanmestaruuskilpailuissa, vuonna 2003.