The above theorem is not true of $K / F$ is Galois but not finite. In that case, we need to equip $\mathrm{Gal}(K / F)$ with a profinite topology, and the bijection is between subextensions and closed subgroups of $\mathrm{Gal}(K / F)$. See this note.