El derecho a la jubilación, con disfrute del noventa por ciento del salario, se adquiere cuando el juez haya alcanzado la edad de sesenta años, si es hombre, o de cincuenta y cinco años si es mujer, siempre que hubiere cumplido por lo menos veinticinco años de servicio público, quince de los cuales en la Carrera Judicial como mínimo. Los que hubieren cumplido treinta años, quince de los cuales en la Carrera Judicial como mínimo, podrán jubilarse con disfrute del ciento por ciento del salario. Los jueces jubilados podrán ser nuevamente designados en los términos establecidos en la Ley, sin necesidad de concurso de oposición, en cuyo caso se suspenderá su jubilación mientras ejerce su función como juez. No tendrán derecho a la jubilación los jueces que hayan sido destituidos de acuerdo con la ley, o que hubieren renunciado para eludir un procedimiento disciplinario en su contra.