<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div style="margin: 0px;" class="">Dear colleagues,</div><div style="margin: 0px; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px;" class="">the DFG Research Training Group GRK 1763 “Quantitative Logics and</div><div style="margin: 0px;" class="">Automata” offers 1 Position (fulltime, salary group E 13 TV-L)</div><div style="margin: 0px;" class="">for a Doctoral Student. Applicants should be interested in</div><div style="margin: 0px;" class="">performing high-quality research on the connection between</div><div style="margin: 0px;" class="">quantitative logics and automata as well as their applications in</div><div style="margin: 0px;" class="">verification, knowledge representation, natural language processing,</div><div style="margin: 0px;" class="">or constraint solving.</div><div style="margin: 0px; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px;" class="">The start date is October 1, 2017, and the application deadline is</div><p style="margin: 0px; min-height: 18px;" class=""> <br class="webkit-block-placeholder"></p><div style="margin: 0px;" class=""> May 11, 2017</div><div style="margin: 0px; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px;" class="">(though later applications will be considered as long as the position is</div><div style="margin: 0px;" class="">not filled).</div><div style="margin: 0px; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px;" class="">More information on QuantLA can be found at</div><div style="margin: 0px; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px;" class=""> <a href="http://lat.inf.tu-dresden.de/quantla/" class="">http://lat.inf.tu-dresden.de/quantla/</a></div><div style="margin: 0px; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px;" class="">and more information on how to apply in the call for applications</div><div style="margin: 0px; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px;" class=""> <a href="https://lat.inf.tu-dresden.de/quantla/index.php/open-position" class="">https://lat.inf.tu-dresden.de/quantla/index.php/open-position</a></div><div style="margin: 0px; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px;" class="">Please help us advertise this position by directly telling your advanced</div><div style="margin: 0px;" class="">Master students who are interested in becoming PhD students about</div><div style="margin: 0px;" class="">QuantLA and by publishing the call for applications on your bulletin</div><div style="margin: 0px;" class="">board.</div><div style="margin: 0px; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px;" class="">Thank you in advance,</div><div style="margin: 0px; min-height: 18px;" class=""><br class=""></div><div style="margin: 0px;" class="">-Franz Baader</div><div style="margin: 0px; font-size: 15px; font-family: Menlo;" class=""><br class=""></div><div class="">
<div class="">Prof. Dr.-Ing. Franz Baader<br class="">Technische Universität Dresden<br class="">Fakultät Informatik<br class="">Institut für Theoretische Informatik<br class="">Lehrstuhl für Automatentheorie<br class="">01062 Dresden<br class="">Tel.: +49 (351) 463-39160<br class="">Fax: +49 (351) 463-37959<br class="">E-Mail: <a href="mailto:franz.baader@tu-dresden.de" class="">franz.baader@tu-dresden.de</a></div><div class=""><br class=""></div><br class="Apple-interchange-newline">
</div>
<br class=""></body></html>