Yes, but for math to be really important few of those are a developer doing e.g. cryptography, it's a cryptographer doing programming. I worked in one of those fields and it would be at least ten times the developers to people "doing math" and they where highly educated in that field.

Cryptographers are computer scientists/developers, though. If you want to do something "real," other than make pretty buttons, that is, you're going to have to do some math.

That's a list of concepts. None of that approaches proof.