PhD Position in Proof Systems for Modal Fixpoint Logics (University of Amsterdam Institute for Logic, Language and Computation)