In the trivial sense, sure, someone probably has a web browser on a nuclear sub. But if you're talking software written for the operation of the sub itself, I expect it's either Ada, C89 or C++.

Ada was, after all, developed specifically by the DoD for exactly such purposes.