Research Associate (Computer Graphics and Visualisation)
The DFG Research Training Group GRK 1763 "Quantitative Logics and Automata" (Graduiertenkolleg) of TU Dresden and Universität Leipzig offers a position as
Research Associate / PhD
(Subject to personal qualification employees are remunerated according to salary group E 13 TV-L)
starting at 01.04.2018. The position is limited for 3 years until 31.03.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 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 Leipzig University (Institute of Computer Science) with participating scientists Baader, Baier, Bodirsky, Brewka, Droste, Maletti, Quaas, Rudolph, Turhan and Vogler.
Tasks: The position is 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. Application by email in pdf format is preferred, and should be submitted in an electronically signed and encrypted form to firstname.lastname@example.org.
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. Closing date is 15.12.2017. Please submit copies only, as your application will not be returned to you. Expenses incurred in attending interviews cannot be reimbursed.
More information about the programme and the application procedure can be found at https://lat.inf.tu-dresden.de/quantla/