Attention: Positions are still available, applications can still be submitted.

You can find the following call for applications in pdf-format here.

The DFG Research Training Group GRK 1763 "Quantitative Logics and Automata" (Graduiertenkolleg) of TU Dresden and Universität Leipzig offers, subject to resources being available, eight positions as

Research Associate / PhD Student

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

starting at 01.10.2018. The positions are limited for 3 years until 30.09.2021. The period of employment is governed by the Fixed Term Research Contracts Act (Wissenschaftszeitvertragsgesetz - WissZeitVG) and by the guidelines for Research Training Groups (DFG). The place of work (Dresden or Leipzig) depends on the place of work of the assigned supervisor. The positions aim at obtaining further academic qualification (PhD).

This research programme is a joint activity of TU Dresden (Institute of Theoretical Computer Science, Institute of Artificial Intelligence, Institute of Algebra) and the Leipzig University (Institute of Computer Science) with participating scientists Baader, Baier, Bodirsky, Brewka, Droste, Maletti, Quaas, Rudolph, Turhan and Vogler.

Tasks: The positions are for applicants interested in performing high-quality research on the connection between quantitative logics and automata as well as their applications in verification, knowledge representation, natural language processing, and constraint solving.

Requirements: Applicants should have an excellent academic record, and hold a university degree (MSc or an equivalent degree) in computer science or related disciplines (such as mathematics). Fluency in spoken and written English is required. Applicants with a good knowledge of theoretical computer science or one of the application areas mentioned above are preferred.

The participating universities are committed to increase the proportion of women in research. Applications from women are particularly welcome. The same applies to people with disabilities.

Applications consist of a CV, the names of two referees, transcripts of documents summarizing academic performance, and a statement of interest. Application by email in pdf format is preferred, and should be submitted via email to This email address is being protected from spambots. You need JavaScript enabled to view it.

Alternatively, applications can be sent to:

TU Dresden, Fakultät Informatik, Institut für Theoretische Informatik, Herrn Prof. Dr.-Ing. Franz Baader, 01062 Dresden, Germany.

Applications will be considered until all positions are filled. Please submit copies only, as your application will not be returned to you.