Open PostDoc Position (5 years): Decidability in Logic-Based Knowledge Representation
From International Center for Computational Logic
News from the research group Computational Logic of June 26, 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).
Tasks:
- 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.
Requirements:
- 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.
