Also Try
Branch of governmental service or employees of a government agency
The civil service is a collective term for a sector of government composed mainly of career civil service personnel hired rather than elected, whose institutional tenure typically survives transitions of political leadership. A civil service official, also known as a public servant or public employee, is a person employed in the public sector by a government department or agency for public sector ... Wikipedia