Yes. This is [Proposition 7.3](https://books.google.com/books?id=zuNgdF0RXmAC&pg=PA159) of Eugene M. Luks. [Permutation groups and polynomial-time computation](http://ix.cs.uoregon.edu/~luks/dimacs.pdf). Pages 139-175 of: Larry Finkelstein and William M. Kantor, editors. Groups and Computation, Volume 11 of Amer. Math. Soc. DIMACS Series. (DIMACS, 1991), 1993. If you drop the condition that $G$ normalizes $H$, then it is unknown whether the problem is in P (so your statement that it is not in P is too strong). I don't know what you mean by "computing the normalizer of subgroup $H$ is in P". The normalizer in what? Computing the normalizer of $G$ in ${\rm Sym}(\Omega)$ is very unlikely to be in P. It is not even known whether this can be done in simply exponential time.