Logic List Mailing Archive

CfA: 2 PhDs and 1 PostDoc in the new knowledge representation group, Paderborn (Germany), deadline: 22. April 2024

Dear all,

the new knowledge representation group at Paderborn University has two PhD positions and one PostDoc position open for applications. All three positions are full positions initially 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.

Details on the 2 PhD positions:
These are qualification positions, which serve to support a PhD procedure in the field of knowledge representation and reasoning. A successful applicant for one of these positions has to have a masters or diploma degree in computer science, computational logic or related areas and furthermore some • good background in formal methods, e.g. logic, complexity theory and model theory • good English speaking and writing skills • experiences in implementing complex systems is a plus The positions are full positions for three years initially and the salary is according to EG 13 TV-L. For further details on the PhD positions and the application procedure see https://www.uni-paderborn.de/fileadmin/zv/4-4/stellenangebote/Kennziffer6364_-_Englisch.pdf



Details on the PostDoc position:
This is a qualification position, which serves to support the scientific qualification in the post-doctoral phase in the field of knowledge representation and reasoning. A successful applicant for this position has to have a Doctoral degree (PhD) in computer science, ideally in the field of knowledge representation and reasoning, logic, formal methods or related areas and furthermore a • very good background in formal methods, e.g. logic, complexity and model theory • very good English speaking and writing skills For further details on the PostDoc position and the application procedure see https://www.uni-paderborn.de/fileadmin/zv/4-4/stellenangebote/Kennziffer6365_-_Englisch.pdf



The application deadline for all of the three positions is April 22nd 2024, but applications will be considered until the positions are filled. Should you have questions about the positions or the application procedure, please send an email to turhan@uni-paderborn.de.


Best regards, Anni-Yasmin Turhan

--
--
Prof. Dr. Anni-Yasmin Turhan
Knowledge Representation Group
University of Paderborn

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php