[DL] Job openings: 2 PhD positions and 1 PostDoc Research position

[Anni-Yasmin Turhan]

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 at uni-paderborn.de.


Best regards, Anni-Yasmin Turhan

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