Research Associate / PhD Student (m/f/x) in Automata TheoryTU Dresden • Fakultät Informatik, Institut für Theoretische Informatik, Professur für Automatentheorie • Dresden

Germany Universities
January 31, 2023
Offerd Salary:Negotiation
Working address:N/A
Contract Type:Fixed Term Research
Working Time:Part time
Working type:N/A
Ref info:N/A
Open Positions 1

Time Span as soon as possible for 30 months Application Deadline 31 Jan 2023 Financing yes Type of Position

  • PhD - Individual Supervisor
  • Field of Research

  • Mathematics / Natural Sciences
  • Engineering
  • Subjects Computer Science Description 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 (m/f/x) (subject to personal qualification employees are remunerated according to salary group E 13 TV-L)

    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). Balancing family and career is an important issue. The post is generally suitable for candidates seeking part-time employment. Please indicate your request in your application.

    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 Service. We welcome applications from candidates with disabilities. If multiple candidates prove to be equally qualified, those with disabilities or with equivalent status pursuant to the German Social Code IX (SGB IX) will receive priority for employment.

    Please submit your comprehensive application including the usual documents by January 31, 2023 (stamped arrival date of the university central mail service applies) preferably via the TU Dresden SecureMail Portal https: // by sending it as a single pdf-document to or to: TU Dresden, Fakultät Informatik, Institut für Theoretische Informatik, Professur für Automatentheorie, Herrn Prof. Dr.-Ing. Franz Baader, 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-

    Working Language

  • English
  • German
  • Language of Dissertation

  • English
  • German
  • Required Documents

  • CV
  • Reports, certificates
  • Letter of Motivation
  • More Information https: //

    From this employer

    Recent blogs

    Recent news