Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

10 PhD Positions in "Quantitative Logics and Automata", Dresden and Leipzig

The DFG Research Training Group GRK 1763 "Quantitative Logics and Automata" (Universities of Dresden and Leipzig, Germany) offers 10 Doctoral Scholarships for applicants 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, and semi-structured data (XML).

The start date is October 1, 2012, and the application deadline is June 15, 2012 (though later applications will be considered as long as not all positions are filled).

For more information, see http://lat.inf.tu-dresden.de/quantla/.

Please note that this newsitem has been archived, and may contain outdated information or links.