In der Tschechoslowakischen Nationalmannschaft wurde Kraus insgesamt 23 Mal eingesetzt. Er debütierte am 23. September 1953 im WM-Qualifikationsspiel gegen Bulgarien, das die Tschechoslowakei mit 2:1 gewann. Er stand im WM-Kader 1954, ebenso nahm er an der Weltmeisterschaft 1958 teil. Sein letztes Spiel für die Tschechoslowakei absolvierte Kraus am 5. April 1959, sein Team unterlag Irland in der EM-Qualifikation mit 0:2.