PhD Position in Higher-order Rewriting for Program Equivalence (Radboud University Department of Software Science)