26/04/2022: PhD Position in Computational Logic