PhD Position, Quantitative Logics and Automata, Dresden, Germany

The DFG Research Training Group GRK 1763 “Quantitative Logics and Automata” at TU Dresden offers 1 Doctoral Scholarship 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 April 1, 2015, and the application deadline is January 9, 2015 (although later applications will be considered as long as the position is not filled).

More information on QuantLA can be found at http://lat.inf.tu-dresden.de/quantla/ and more information on how to apply in the call for applications at http://lat.inf.tu-dresden.de/quantla/images/documents/quantla-call-2015.pdf.