10 PhD Scholarships in Theoretical Computer Science at the Technical University of Dresden (Germany)

22 mai 2012 admin Scholarship / Bourses

The DFG Research Training Group GRK 1763 ´Quantitative Logics and Automata´ offers 10 Doctoral Scholarships 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 semi- structured data (XML). This research programme is a joint activity of TU Dresden (Institute for Theoretical Computer Science and Institute for Algebra) and the University of Leipzig (Department of Computer Science) with participating Professors Baader, Baier, Brewka, Droste, Ganter, Lohrey, and Vogler. Financed by the German Research Foundation (DFG), the scholarships (including a supplement) amount to e 1460/month (tax exempt) for up to three years. In addition, research and travel funds will be provided. PhD students with children will get additional funds and the possibility of extending the stipend according to the regulations of the DFG.

The research programme will start on October 1, 2012 for a duration of 3 years. English is the Working Language and the Language of the Doctoral Thesis too. The deadline for application is June 15, 2012.

Subject Requirements

Applicants should have an excellent academic record, and hold a 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 disabled people. Please send enquiries to quantla@tcs.inf.tu-dresden.de.
Applications consist of a CV, the names of two referees, transcripts of documents summarizing their academic performance, and a statement of interest. Application by email in pdf format is preferred, and should be submitted to
quantla@tcs.inf.tu-dresden.de

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

by June 15, 2012.
More information about the programme and the application procedure can be found at http://lat.inf.tu-dresden.de/quantla/

Documents:

• Curriculum vitae
• See: http://lat.inf.tu-dresden.de/quantla/

Host Institution

Technische Universität Dresden
01069 Dresden

8 PhD scholarships in Physical Chemistry, Theoretical Chemistry, Theoretical Physics (Berlin, Germany) 9 PhD Positions in Linguistics: International Doctorate for Experimental Approaches to Language And Brain (IDEALAB)