For public health workers employed by the Health Services Board or grant-aided health facilities, including junior doctors, ...