"public school employee" shall not include any emergency or temporary employee or any other employee who works in a position otherwise covered by such term less than 60 percent of the time required to carry out the duties of such position. Notwithstanding this definition or [...]

"Public school employee" or "employee" means all those employees of public schools including postsecondary vocational-technical schools governed by the Department of Technical and Adult Education who are not eligible for membership in the Teachers Retirement System of [...]