¿Qué tipo de empleo desempeña un funcionario?