Open PhD/PostDoc Positions (4 years): Decidability in Logic-Based Knowledge Representation

From International Center for Computational Logic
News from the research group Computational Logic of July 8, 2018

Open PhD/PostDoc Positions (4 years): Decidability in Logic-Based Knowledge Representation

DeciGUT-logo-final.png
The Chair of Computational Logic offers three positions as


Research Associates (PhD/PostDoc)

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


starting 01.10.2018, 01.04.2019, and 01.10.2019, respectively. Each position is limited for 4 years. The period of employment is governed by Fixed Term Research Contracts Act (Wissenschaftszeitvertragsgesetz-WissZeitVG). The position offers the chance to obtain further academic qualification (e.g. PhD / habilitation thesis).


Tasks:


Requirements:

  • university degree in Computer Science, Mathematics or related discipline with a specialization in knowledge representation, formal logic and/or algebra,
  • experience in conducting independent research work and in student thesis supervision,
  • strong teamwork skills and exemplary work ethic.


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


Please submit your comprehensive application including the usual documents not later than 75 days ahead of the starting date (later applications might be considered until the position is filled) by email to Prof. Sebastian Rudolph (sebastian.rudolph@tu-dresden.de).