At TU Dresden, Faculty of Computer Science, the Chair of Computational Logic at the Institute of Artificial Intelligence offers a position as

Research Associate / PhD Student / Postdoc

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

starting at the next possible date with a duration of 3 years and with the option for extension up to 6 years. 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. 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. Please note in application if you wish that.

Within 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 environ­ment of an internationally recognized research group at TU Dresden, one of the German Universities of Excellence. Dresden is a highly livable city with a rich cultural life, beautiful nature and comparably low cost of living.

Tasks: As a researcher of the Chair of Computational Logic you will perform foundational research in the area of logic-based knowledge representation. Publication and presentation of results in high-ranking journals and at renowned international conferences is a central part of the work. In the course of academic teaching, you contribute to knowledge transfer and promotion of junior academics. Proactively and with community spirit, you take over arising administrative and organizational tasks.

Requirements: a very good university degree (M.Sc. or equivalent) in computer science, mathematics or a related area, if applicable a PhD, and with firm background knowledge in one or more of the following topics:

• artificial intelligence, knowledge representation and logical reasoning
• mathematical logic, model theory, algebra
• semantic technologies, knowledge graphs or
• database theory.

Postdocs should have made significant research contributions to one of the above areas. 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. Knowledge of German, IT-skills and teaching experiences are preferable.

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

Please submit your comprehensive application (including motivation letter, CV and record of publications) by 13.01.2020 (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 sebastian.rudolph@tu-dresden.de or by 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, and further data protection information are available via https: //tu-dresden.de/karriere/datenschutzhinweis

Please find the german version under:
https://tu-dresden.de/stellenausschreibung/7352.