PhD/PostDoc positions on Decidability in Logic-based Knowledge Representation (TU Dresden)

The Chair of Computational Logic at TU Dresden offers several full positions (E13/E14) as

Research Associate (PhD/PostDoc position)

to be filled between October 2018 and October 2019. The positions are for up to 5 years and offer the possibility of further academic qualification (PhD/habilitation thesis).

Tasks:

* 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 project is a general theory regarding computational properties in knowledge representation.
* Mentoring of PhD students/master theses.
* Organisation of project-related workshops.

Requirements:

* university degree/PhD in Computer Science, Mathematics or related discipline,
* for PostDoc applicants 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 at your earliest convenience (applications will be considered until all the positions are filled) by email to Prof. Sebastian Rudolph (sebastian.rudolph at tu-dresden.de). The same address can be used for inquiries about the positions.