Designação do licenciado Ricardo da Silva Pinto para o cargo de diretor do Serviço de Gestão de Recursos Humanos