​​​​​​​Research Associate (m/f/x)

As part of the German government's artificial intelligence (AI) strategy, the successful Saxon competence center ScaDS.AI Dresden/Leipzig (Center for Scalable Data Analytics and Artificial Intelligence) is being expanded into a leading German AI competence center for Big Data and artificial intelligence (AI).

At TU Dresden, Center for Interdisciplinary Digital Sciences, the Department ScaDS.AI is offering for this purpose the position ScaDS-22.5 starting as soon as possible as a

Research Associate (m/f/x)

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

limited until December 31, 2023 with the option for extension. The period of employment is governed by the Fixed Term Research Contracts Act (Wissenschaftszeitvertragsgesetz - WissZeitVG). The position offers the chance to obtain further academic qualification. Balancing family and career is an important issue. The position is generally suitable for candidates seeking part-time employment. Please indicate your request in your application.

Professional assignment: Chair of Computational Logic (Prof. Dr. rer. nat. Sebastian Rudolph)

Research area: Knowledge Representation and Engineering

Tasks: foundational research on formal properties (e.g., expressivity, decidability, computational complexity) of logic-based knowledge representation formalisms such as description logics, existential rule languages, modal logics, fragments of first-order logics, etc.; publication and presentation of results at top international conferences in English.

Requirements: excellent university degree in mathematics or computer science; prior knowledge and publications related to formal logic, model theory, computability and/or complexity theory. Experience and Interest in knowledge representation and automated reasoning; very good command of written and spoken English

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

Please submit your comprehensive application including the usual documents, quoting the job number ScaDS-22.5 by August 29, 2022 (stamped arrival date of the university central mail service applies), preferably via the TU Dresden SecureMail Portal https://securemail.tu-dresden.de by sending it as a single pdf document to [email protected] or to: TU Dresden, CIDS, Herrn Prof. Dr. Wolfgang E. Nagel, Helmholtzstr. 10, 01069 Dresden, Germany. 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: https://tu-dresden.de/karriere/datenschutzhinweis .

Please find the German version under:

https://tu-dresden.de/stellenausschreibung/9605