<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=""><pre class=""><font face="Helvetica" class="">Dear colleagues,
the DFG Research Training Group GRK 1763 “Quantitative Logics and
Automata” offers 1 Position (fulltime, salary group E 13 TV-L)
for a Doctoral Student. Applicants should be 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,
or constraint solving.
The start date is April 1, 2018, and the application deadline is
December 15, 2017
(though later applications will be considered as long as the position is
not filled).
More information on QuantLA can be found at
<a href="https://lat.inf.tu-dresden.de/quantla/" class="">https://lat.inf.tu-dresden.de/quantla/</a>
and more information on how to apply in the call for applications
<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></font></pre><pre class=""><font face="Helvetica" class="">Please help us advertise this position by directly telling your advanced
Master students who are interested in becoming PhD students about
QuantLA and by publishing the call for applications on your bulletin
board.
Thank you in advance,
-Franz Baader</font></pre><div class=""><br class=""></div><div class="">
Prof. Dr.-Ing. Franz Baader</div><div class=""><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><br class=""><br class="">
</div>
<br class=""></body></html>