Open PostDoc Position (5 years): Decidability in Logic-Based Knowledge Representation

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Neuigkeit aus der Forschungsgruppe Computational Logic vom 26. Juni 2018

Open PostDoc Position (5 years): Decidability in Logic-Based Knowledge Representation

The Chair of Computational Logic offers a position as

Research Associate (PostDoc position)

(Subject to personal qualification employees are remunerated according to salary group E 14 TV-L)

starting 01.10.2018. The position is limited for up to 5 years (max. until 30.09.2023) and offers the possibility of further academic qualification (habilitation thesis).


  • Leading scientific research on decidability of logical formalisms in the course of the project “A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation” (DeciGUT) funded by an ERC Consolidator Grant. The goal of the challenging project is a general theory regarding computational properties in knowledge representation.
  • Mentoring of PhD students in the area of logic-based knowledge representation and analysis of computational properties (decidability, complexity)
  • Organisation of project-related workshops.


  • PhD in Computer Science, Mathematics or related discipline
  • significant publication record in theoretical aspects of logic-based knowledge representation, first- or higher order logics, model theory, or similar
  • experience in thesis supervision.

Applications from women are particularly welcome. The same applies to people with disabilities.

Please submit your comprehensive application including the usual documents by 30.07.2018 (later applications will be considered until the position is filled) by email to Prof. Sebastian Rudolph (