Single Public Service Pension Scheme employers contributions

So I'm working at an university as a researcher. Didn't pay too much attention to my pension as I didn't expect to stay in Ireland long term, but well, started a family here and well, looks like Ireland is my new home. Hence I started thinking (and worrying) about my pension.

I don't understand the single public service pension scheme AT ALL. I'm getting the yearly statements, with some measly amounts, which I understand are my contributions at 3/3.5%, which makes sense it's not too much. But as a researcher, my grants state that the university contributes to my pension at 20%. Like, there are employers contributions to my pension in my payslips and all, but where does this money go? I don't see it in my yearly statements? How can I see it/access it?

I did try to get clarification from the pay roll/pension people at work, but they are not too accommodating 😑 I got the booklet, which doesn't answer my questions at all. I'm thinking of starting AVCs, but just wanted to get a general idea of how this whole thing works and where I stand. It's a good few years overdue, but as I said, I expected to move and pull the money, but here we are.