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
(Subject to personal qualification employees are remunerated according to salary group E 13 TV-L)
starting 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 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 (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 University of 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 https://lat.inf.tu-dresden.de/quantla/
Tasks: The positions are for applicants interested in obtaining a doctoral degree by 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, transcipts of documents summarizing academic performance, and a statement of interest. Please send your application preferable in pdf format in an electronically signed and encrypeted form via email to email@example.com or to: TU Dresden, Fakultät Informatik, Institut für Theoretische Informatik, Herrn Prof. Dr.-Ing. Franz Baader, 01062 Dresden, Germany. Due date of applications is16.05.2018 (stamped arrival date of the university central mail service applies). Please submit copies only, as your application will not be returned to you. Expenses incurred in attending interviews cannot be reimbursed.