Formal verification of software and hardware systems relies heavily on mathematics, as well as an obvious core of computer science. (Not 'number' math, per se, but logic math.) Static analysis of programs, proofs of correctness, et cetera.