The DFG Research Training Group GRK 1763 "Quantitative Logics and Automata" 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, and constraint solving. This research programme is a joint activity of Technische Universität Dresden (Institute for Theoretical Computer Science and Institute for Algebra) and the Universität Leipzig (Department of Computer Science) with principal investigators Baader, Baier, Bodirsky, Brewka, Droste, Rudolph, Turhan, and Vogler.