Dear all, there is an open position for a PhD student or a PostDoc in the new knowledge representation group at Paderborn University! This is a full position for three years. The KR group is associated to the research area of Data Science at the Computer Science institute of the university and is dedicated to foundational research on logical formalisms and their reasoning problems. Current research topics are reasoning methods in formal ontology languages (Description Logics), in particular, ontology-mediated query answering, learning in description logics, and forms of nonmonotonic reasoning. We offer a friendly and flexible working environment in a dynamic and research-oriented team within an international research network. A successful applicant would have • good background in formal methods, e.g. logic, complexity theory and model theory • a masters degree / PhD in computational logic or related fields • good English speaking and writing skills; speaking German is a plus • experience in implementing complex systems is a plus For further details on the PostDoc position and the application procedure see https://cs.uni-paderborn.de/fileadmin-eim/informatik/fg/kr/Kennziffer6531_-… . The application deadline for the position is July 31st 2024. Should you have questions about the positions or the application procedure, please send an email to turhan<at>uni-paderborn.de . Best regards, Anni-Yasmin Turhan -- -- Prof. Dr. Anni-Yasmin Turhan Knowledge Representation Group University of Paderborn