<div dir="ltr">Dear colleagues,<br>
<br>
the DFG Research Training Group GRK 1763 “Quantitative Logics and<br>
Automata” offers 1 Doctoral Scholarship for applicants interested in<br>
performing high-quality research on the connection between<br>
quantitative logics and automata as well as their applications in<br>
verification, knowledge representation, natural language processing,<br>
and semi-structured data (XML).<br>
<br>
The start date is April 1, 2015, and the application deadline is<br> <br>  January 9, 2015 <br><br>(though later applications will be considered as long as the position is <br>not filled).<br>
<br>
More information on <span class="">QuantLA</span> can be found at<br>
<br>
   <a href="http://lat.inf.tu-dresden.de/quantla/" target="_blank">http://lat.inf.tu-dresden.de/<span class="">quantla</span>/</a><br>
<br>
and more information on how to apply in the call for applications<br><br>  <a href="http://lat.inf.tu-dresden.de/quantla/images/documents/quantla-call-2015.pdf">http://lat.inf.tu-dresden.de/quantla/images/documents/quantla-call-2015.pdf</a><br>
<br>
Please help us advertise <span class="">QuantLA</span> by directly telling your advanced<br>
Master students who are interested in becoming PhD students about<br>
<span class="">QuantLA</span> and by  publishing the call for applications on your bulletin <br>board.<br>
<br>
Thank you in advance,<br>
<br>
-Franz Baader<br><br>
<div class="gmail_signature">--------------------------------<br>Prof. Dr.-Ing. Franz Baader<br>Technische Universität Dresden<br>Fakultät Informatik<br>Institut für Theoretische Informatik<br>Lehrstuhl für Automatentheorie<br>01062 Dresden<br>Tel.: +49 (351) 463-39160<br>Fax: +49 (351) 463-37959 <br>E-Mail: <a href="mailto:baader@tcs.inf.tu-dresden.de" target="_blank">baader@tcs.inf.tu-dresden.de</a><br>--------------------------------<br><br></div>
</div>