PhD Position in Knowledge Representation Formalisms for Hybrid Intelligence (VU University of Amsterdam Department of Computer Science)