[DL] Eight PhD positions

[Franz Baader]

Dear colleagues,

the DFG Research Training Group GRK 1763 “Quantitative Logics and
Automata” offers 8 Position (fulltime, salary group E 13 TV-L, 
duration 3 years) for 8 Doctoral Students.
 
This research programme is a joint activity of TU Dresden and the 
University of Leipzig with participating scientists Baader, Baier, 
Bodirsky, Brewka, Droste, Maletti, Quaas, Rudolph, Turhan and Vogler.

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, 2018, and the application deadline is
** April 16, 2018 **
(though later applications will be considered as long as the positions 
are not all filled).

More information on QuantLA can be found at

    https://lat.inf.tu-dresden.de/quantla/

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

    https://lat.inf.tu-dresden.de/quantla/index.php/open-position

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 and Manfred Droste

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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20180209/ba180ffb/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4745 bytes
Desc: not available
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20180209/ba180ffb/attachment.bin>