PhD student or postdoctoral position in logic-based knowledge representation, Dresden (Germany)

The Chair of Computational Logic at the TU Dresden invites applications for a Research Associate / PhD Position/ Postdoc (salaray group E 13 TV-L, subject to personal qualification) as well as a Senior Research Associate / Postdoc (salaray group E 14 TV-L, subject to personal qualification) within the ERC Consolidator Grant 'A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation (DeciGUT)' starting at the next possible date. Both positions are fixed-term for 4 years,and offers the chance to obtain further academic qualification (e.g. Ph.D. or habilitation thesis). A part-time employment of 50% of the fulltime weekly hours is possible. The first position is suitable for both PhD Students and Postdocs.

The aim of the ERC project DeciGUT is to create a unified, model theoretical basis for decidability, which in turn will enable the definition of new, even more expressive but decidable knowledge representation languages. As a researcher in the ERC project you will investigate fundamental principles for computational properties (such as decidability, complexity) of reasoning tasks in the field of knowledge representation. Both positions are strongly focused on foundational research.