They are paying 6.5% of their salary plus A rate PRSI towards that element of their pension. Whether they are paying enough depends on how long they live, whether they are single/married etc .There is cohort who will pay more into their pension than they will ever be allowed to claim. If you are single, you cannot nominate anyone to claim your pension in the event of your death apart from your lump sum entitlement which goes to your estate.
A single PS/CS worker who dies within a couple of years of retirement will have paid substantially more than they will ever claim.