Se todo servidor efetivo é estável e Carlos é servidor efetivo, então é correto concluir que Carlos: