[PlanetKR] Position for 3 years PhD or PostDoc

[Anni-Yasmin Turhan]

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_-_Juni_2024.pdf 
.


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