Research Associate / PhD Student for project A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation“ (DeciGUT)

At TU Dresden, Faculty of Computer Science, Institute of Artificial Intelligence, the Chair of Computational Logic offers a position as
Research Associate / PhD Student
(Subject to personal qualification employees are remunerated according to salary group E 13 TV-L)
within the ERC Consoli­dator Grant „A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation(DeciGUT) starting at the next possible date. The position is fixed-term for 4 years, maximally until to 30 September 2023. The period of employment is governed by the Fixed Term Research Contracts Act (Wissenschaftszeitvertragsgesetz ­– WissZeitVG). The position aims at obtaining further academic qualification (e.g. Ph.D.). Balancing family and career is an important issue. The post is basically suitable for candidates seeking part-time employment. A part-time employment of 50% of the fulltime weekly hours is possible.
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. The formalisms studied include description logics, rule languages, and fragments of first- and higher-order predicate logic in general. The project is thus of high relevance for various scientific fields such as artificial intelligence, database theory and mathematical logic with potentially far-reaching practical effects, for example in the areas of semantic technologies and information systems.
As a member of the Chair of Computational Logic you will be part of a successful team of experien­ced researchers of many nationalities and backgrounds. You will work in the vibrant scientific envi­ronment of the CRC and TU Dresden, one of the leading German research universities. Dresden is a highly livable city with a rich cultural life and beautiful nature.

Activities and responsibilities

As a researcher in the ERC project you will investigate fundamental principles for computa­tional properties (such as decidability, complexity) of reasoning tasks in the field of knowledge representation. The position is strongly focused on foundational research. Publication and presen­tation of results in high-ranking journals and at renowned international conferences is a central part of the work. Of great importance for the success of the project is also a lively exchange with the international experts in the field. Hence, the applicant is expected to undertake research visits and to actively participate in the organization of project-related workshops.

Qualification profile

We are looking for motivated and talented staff members with a very good university degree (M.Sc. or equivalent) in computer science, mathematics or a related area and with firm background knowledge in one or more of the following topics:
  • artificial intelligence, knowledge representation and reasoning
  • mathematical logic, model theory, algebra
  • database theory
Candidates should be independent in organizing their work, keen on working with teams of experts across other projects, and fluent in English, oral and written.

Send application to

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

Please submit your comprehensive application (including motivation letter, CV, statement of research interests and record of publications) by 13 June 2019 (stamped arrival date of the university central mail service applies), preferably via the TU Dresden SecureMail Portal by sending it as a single PDF document to or by postal mail to TU Dresden, Fakultät Informatik, Institut für Künstliche Intelligenz, Professur für Computational Logic, Herrn Prof. Dr. Sebastian Rudolph, Helmholtzstr. 10, 01069 Dresden. Please submit copies only, as your application will not be returned to you. Expenses incurred in attending interviews cannot be reimbursed.

Reference to data protection: Your data protection rights, the purpose for which your data will be processed, as well as further information about data protection is available to you on the website:

While applying for the job please refer to jobvector

About Technische Universität Dresden

Die TU Dresden ist eine Volluniversität mit einem breiten Fächerspektrum. Die strukturelle Gliederung umfasst fünf Bereiche mit 14 Fakultäten: Mathematik und Naturwissenschaften Geistes- und Sozialwissenschaften Ingenieurwissenschaften Bau und Umwelt Medizin
More about Technische Universität Dresden