[DL] position within PhD program QuantLA

Franz Baader franz.baader at tu-dresden.de
Fri Mar 10 15:38:57 CET 2017

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 October 1, 2017, and the application deadline is
  May 11, 2017

(though later applications will be considered as long as the position is
not filled).

More information on QuantLA can be found at


and more information on how to apply in the call for applications


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

Thank you in advance,

-Franz Baader

Prof. Dr.-Ing. Franz Baader
Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie
01062 Dresden
Tel.: +49 (351) 463-39160
Fax: +49 (351) 463-37959
E-Mail: franz.baader at tu-dresden.de <mailto:franz.baader at tu-dresden.de>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20170310/0654828a/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5003 bytes
Desc: not available
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20170310/0654828a/attachment.p7s>

More information about the dl mailing list