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).
The research programme will start on October 1, 2012.
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.