overheidsdienst

Also known as public service, civilian service, civil service system

branch of governmental service or employees of a government agency