Ten doctoral scholarships in "Quantitative Logics and Automata", Dresden (Germany)

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 start date is October 1, 2012, and the application deadline is June 15, 2012 (though later applications will be considered as long as not all positions are filled).

More information on QuantLA and how to apply can be found at http://lat.inf.tu-dresden.de/quantla/