civil service (n.)

"the executive branch of the public service, as distinguished from the military, naval, legislative, or judicial," 1765, originally in reference to non-military staff of the East India Company. Civil servant is from 1792.