Please note that this newsitem has been archived, and may contain outdated information or links.
PhD student position in quantitative logics and automata, Dresden (Germany)
Deadline: Thursday 11 May 2017
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.
For more information, see
https://lat.inf.tu-dresden.de/quantla/open-position.
Please note that this newsitem has been archived, and may contain outdated information or links.