Pension deductions are automatic, it is prorated, would roughly equate to her average salary over her time in service divided by 80 (Edit: mutiplied by her number of years in service) index linked, the actual calculations are a bit more complex. On 90k over 20 years she'd roughly receive something in range of 20-22k per annum in addition to the state pension assuming enough PRSI stamps etc. She can make additional contributions via AVCs on top of that, which would be a separate defined contribution fund, either by talking to corn market or some other broker, the existing private pension would normally just stay invested as a separate fund.