The Institute of Logic and Computation at TU Wien is hiring a postdoc and a PhD student for a research collaboration with industry in the area of knowledge representation and reasoning. The goal of this collaboration is to advance the use of logic-based…