Technische Universität Dresden - Faculty of Computer Science, Institute of Artificial Intelligence, Chair of Computational Logic
The TU Dresden is one of eleven German universities that were identified as an “excellence university”. TUD has about 36.500 students and almost 5319 employees, 507 professors among them, and, thus, is the largest university in Saxony, today.
Having been committed to sciences and the engineering before the reunification of Germany, TU Dresden now is a multi-discipline university, also offering humanities and social sciences as well as medicine.
Research Associate / PhD Student / Postdoc
(Subject to personal qualification employees are remunerated according to salary group E 13 TV-L)
The position is offered within the ERC Consolidator 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 is suitable for PhD Students and for Postdocs and aims at obtaining further academic qualification (e.g. Ph.D. or habilitation thesis). 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 experienced researchers of many nationalities and backgrounds. You will work in the vibrant scientific environment 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.