Де Кок дебютировал за сборную Нидерландов 24 февраля 1993 года на матче отборочного турнира чемпионат мира 1994 года, где в Утрехте голландцы обыграли сборную Турции со счётом 3:1. Всего де Кок сыграл за сборную 11 матчей за и забил 1 гол. Он был членом сборной на чемпионате Европы 1996 года.