19-3-901. Eligibility for service retirement. (1) A member hired prior to July 1, 2011, who has:

(a) attained age 60 and has 5 years of membership service is eligible for service retirement;

(b) attained at least age 65 before or while employed in a position covered by the public employees' retirement system is eligible for service retirement regardless of the member's years of membership service; or

(c) 30 years or more of membership service is eligible for service retirement regardless of the member's age.

(2) A member hired on or after July 1, 2011, who has:

(a) attained age 65 and has 5 years of membership service is eligible for service retirement; or

(b) attained age 70 before or while employed in a position covered by the public employees' retirement system is eligible for service retirement regardless of the member's years of membership service.

(3)  For purposes of compliance with section 411 of the Internal Revenue Code, 26 U.S.C. 411:

(a) in each of the circumstances described in subsections (1)(a), (1)(b), and (2), the member is treated as having attained normal retirement age; and

(b) in each of the circumstances described in subsections (1) and (2), the member has a nonforfeitable right to the service retirement benefit accrued and payable under the provisions of this chapter, subject to the member's right to a refund of the member's accumulated contributions under Title 19, chapter 2, part 6.