10 Doctoral Scholarships

TU Dresden
Job Description: 

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 of Theoretical Computer Science and Institute of Algebra) and the Universität Leipzig (Department of Computer Science) with participating Professors Baader, Baier, Brewka, Droste, Ganter, Lohrey, and Vogler. Alongside their research, doctoral students will be offered a summer school that introduces into the topics of the programme, specialized courses that prepare them optimally for their research, a research seminar where they can meet internationally renowned researchers in the field, and soft skills and language courses.

Full job description:

Job Categories: 
Universities and colleges
Deadline for Application: 
Oct 31 2012