Compulsory retirement in the public service is generally determined by the date of recruitment of the individual public servant and, for the most part, is provided for in primary legislation.
I can confirm that compulsory retirement ages are, in general, as stated by the Deputy.
However, it should be noted that the compulsory retirement age for those who commenced teaching before 2004 is the end of the academic year in which they reach age 70.
The Secondary, Community and Comprehensive School Teachers Pension Scheme provides a different compulsory retirement age for a subset of secondary teachers who are in continuous employment from a date prior to 1 September 2001 and who were born in the month of August. In this case, the teacher would be due to retire on a compulsory basis at the end of the academic year in which they reach age 71.