Wiss. Mitarbeiter:in - Dresden, Deutschland - Technische Universität Dresden

Technische Universität Dresden

Geprüftes Unternehmen

Dresden, Deutschland

vor 1 Woche

Geschrieben von:

Lena Wagner

beBee Recruiter

Beschreibung

Technische Universität Dresden (TUD), as a University of Excellence, is one of the leading and most
dynamic research institutions in the country. Founded in 1828, today it is a globally oriented,
regionally anchored top university as it focuses on the grand challenges of the 21st century. lt
develops innovative solutions for the world's most pressing issues. In research and academic
programs, the university unites the natural and engineering sciences with the humanities, social
sciences and medicine. This wide range of disciplines is a special feature, facilitating interdisciplinarity
and transfer of science to society. As a modern employer, it offers attractive working conditions to all
employees in teaching, research, technology and administration. The goal is to promote and develop
their individual abilities while empowering everyone to reach their full potential. TUD embodies a
university culture that is characterized by cosmopolitanism, mutual appreciation, thriving innovation
and active participation. For TUD diversity is an essential feature and a quality criterion of an excellent
university. Accordingly, we welcome all applicants who would like to commit themselves, their
achievements and productivity to the success of the whole institution.

At the
Faculty of Computer Science, Institute of Theoretical Computer Science, the
Chair of

Automata Theory offers a position as

Research Associate /
PhD Student / Postdoc (M/F/x)***from
April 1, 2023 until September 30, 2025. 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. PhD / habilitation thesis). Balancing family and career

Tasks:
The research tasks are in the area of symbolic Artificial Intelligence and in logic-based
Knowledge Representation. In particular, we expect collaboration with researchers in the SFB/TRR
CPEC (_Foundations of Perspicuous Software Systems) _on the development, analysis and testing of
methods that can be used to explain logical inferences. In teaching, the successful applicant is
expected to organize and teach tutorials for undergraduate lectures in Theoretical Computer Science
and to participate in organizing and supervise written exams in this area. On the Master level, the
teaching obligations encompass organizing and teaching seminars, practical courses, and tutorials on
topics like Description Logics, automata on finite and infinite objects, and non-classical logics.
Supervising student theses and participating in oral exams are also part of the teaching requirements.
The successful applicant is also expected to take on organizational tasks at the chair and the faculty.

Requirements:
university degree (Master or equivalent) and if applicable - PhD degree in Computer
Science or a related area. We expect applicants to have previous knowledge in the research areas
mentioned above and their mathematical foundations.

TUD strives to employ more women in academia and research. We therefore expressly encourage
women to apply. The University is a certified family-friendly university and offers a Dual Career
equally qualified, those with disabilities or with equivalent status pursuant to the German Social Code
IX (SGB IX) will receive priority for employment.

(stamped arrival date of the university central mail service applies) preferably via the TU Dresden

Theoretische Informatik, Professur für Automatentheorie, Herrn Prof. Dr.
Ing. Franz Baader,
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,