Research Fellow / PhD Position in Quantitative Logics and Automata

Dresden (DE)
10 Mar 2017
End of advertisement period
09 Apr 2017
Contract Type
Fixed Term
Full Time

The DFG Research Training Group GRK 1763 "Quantitative Logics and Automata" (Graduiertenkolleg) of TU Dresden and Universität Leipzig offers a position as

Research Fellow / PhD Position
(Subject to personal qualification employees are remunerated according to salary group E 13 TV-L)

starting at 01.10.2017. The position is limited for 3 years until 30.09.2020. 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 position aims at obtaining further academic qualification (e.g.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 Universität Leipzig (Institute of Computer Science) with participating scientists Baader, Baier, Bodirsky, Brewka, Droste, Maletti, Quaas, Rudolph, Turhan and Vogler. More information about the programme and the application procedure can be found at

Tasks: The position is 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.

Please send your application consisting of a CV, the names of two referees, transcripts of documents summarizing academic performance, and a statement of interest until 11.05.2017 (stamped arrival date of the university central mail service applies) preferably as a single pdf-document in an electronically signed and encrypted form via e-mail to or to: TU Dresden, Fakultät Informatik, Institut für Theoretische Informatik, Herrn Prof.  Dr.-Ing.  Franz Baader, 01062 Dresden, Germany. Please submit copies only, as your application will not be returned to you. Expenses incurred in attending interviews cannot be reimbursed.