João, servidor estável, foi demitido após os trâmites de pr...

João, servidor estável, foi demitido após os trâmites de processo administrativo por abandono de cargo. Tempos depois move ação judicial com a finalidade de comprovar que sua demissão foi injusta, ao final do processo sentença declara que a demissão foi injusta e determina a reinvestidura de João no cargo que ocupava anteriormente.
Nesta situação hipotética, o provimento do cargo público se dará através de: