Yes. People usually are surprised that NVIDIA is using it : https://www.adacore.com/nvidia

Ada is assumed to be dead by most US-centric programmers, but is alive and used outside the US. Seems most of the action these days in Ada-land is in Europe.

Not surprisingly, VHDL is also mostly used by European companies.

It's pretty famously used by the US government for safety-critical software.

It was created by the US government, or at least by committee for the US government, specifically the DOD. There was a DOD mandate to use Ada, that lasted about 5 minutes before the rebellion against it won out. There's not a lot of new (this century) software written at the DOD's request in Ada.

That's interesting. For some reason I imagined it's still a requirement now.

Also avionics and air traffic control

And train control systems.