I've skimmed through the code and found references to Protobuf, GCM and Redis
It's open source so you can check the code here: https://github.com/signalapp/Signal-Server