{"id":3801,"date":"2012-05-22T00:53:10","date_gmt":"2012-05-22T00:53:10","guid":{"rendered":"http:\/\/africa-and-science.com\/?p=3801"},"modified":"2012-06-29T03:48:34","modified_gmt":"2012-06-29T03:48:34","slug":"10-phd-scholarships-in-theoretical-computer-science-at-the-technical-university-of-dresden-germany","status":"publish","type":"post","link":"https:\/\/africa-and-science.com\/?p=3801","title":{"rendered":"10 PhD Scholarships in Theoretical Computer Science at the Technical University of Dresden (Germany)"},"content":{"rendered":"<p style=\"text-align: justify;\"><img loading=\"lazy\" decoding=\"async\" class=\"alignleft\" src=\"http:\/\/lat.inf.tu-dresden.de\/quantla\/images\/tulogosw.png\" alt=\"TU Dresden\" width=\"180\" height=\"53\" \/>The DFG Research Training Group GRK 1763 \u00b4Quantitative Logics and Automata\u00b4 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). This research programme is a joint activity of TU Dresden (Institute for Theoretical Computer Science and Institute for Algebra) and the University of Leipzig (Department of Computer Science) with participating Professors Baader, Baier, Brewka, Droste, Ganter, Lohrey, and Vogler. Financed by the German Research Foundation (DFG), the scholarships (including a supplement) amount to e 1460\/month (tax exempt) for up to three years. In addition, research and travel funds will be provided. PhD students with children will get additional funds and the possibility of extending the stipend according to the regulations of the DFG.<\/p>\n<p style=\"text-align: justify;\"><strong><span style=\"color: #0000ff;\">The research programme will start on October 1, 2012 for a duration of 3 years. English is the\u00a0Working Language and the\u00a0Language of the Doctoral Thesis too. <span style=\"color: #ff0000;\">The deadline for application is\u00a0June 15, 2012.<\/span><\/span><\/strong><\/p>\n<p style=\"text-align: justify;\"><strong>Subject Requirements<\/strong><\/p>\n<p style=\"text-align: justify;\">Applicants should have an excellent academic record, and hold a MSc (or an equivalent degree) in computer science or related disciplines (such as mathematics). Fluency in spoken and written English is required. Applicants with a good knowledge of theoretical computer science or one of the application areas mentioned above are preferred. The participating universities are committed to increase the proportion of women in research. Applications from women are particularly welcome. The same applies to disabled people. Please send enquiries to quantla@tcs.inf.tu-dresden.de.<br \/>\nApplications consist of a CV, the names of two referees, transcripts of documents summarizing their academic performance, and a statement of interest. Application by email in pdf format is preferred, and should be submitted to<br \/>\nquantla@tcs.inf.tu-dresden.de<\/p>\n<p style=\"text-align: justify;\">Alternatively, applications can be sent to:<br \/>\nTU Dresden, Fakult\u00e4t Informatik,<br \/>\nInstitut f\u00fcr Theoretische Informatik,<br \/>\nHerrn Prof. Dr.-Ing. Franz Baader,<br \/>\n01062 Dresden,<br \/>\nGermany<\/p>\n<p>by June 15, 2012.<br \/>\nMore information about the programme and the application procedure can be found at\u00a0<a href=\"http:\/\/lat.inf.tu-dresden.de\/quantla\/\" target=\"_blank\">http:\/\/lat.inf.tu-dresden.de\/quantla\/<\/a><\/p>\n<p style=\"text-align: justify;\"><strong>Documents:<\/strong><\/p>\n<ul style=\"text-align: justify;\">\n<li>Curriculum vitae<\/li>\n<li>See: http:\/\/lat.inf.tu-dresden.de\/quantla\/<\/li>\n<\/ul>\n<p style=\"text-align: justify;\"><strong>Host Institution<\/strong><\/p>\n<p style=\"text-align: justify;\">Technische Universit\u00e4t Dresden<br \/>\n01069 Dresden<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The DFG Research Training Group GRK 1763 \u00b4Quantitative Logics and Automata\u00b4 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). This research programme is a joint activity of [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[18],"tags":[],"class_list":["post-3801","post","type-post","status-publish","format-standard","hentry","category-scholarship-bourses"],"_links":{"self":[{"href":"https:\/\/africa-and-science.com\/index.php?rest_route=\/wp\/v2\/posts\/3801"}],"collection":[{"href":"https:\/\/africa-and-science.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/africa-and-science.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/africa-and-science.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/africa-and-science.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=3801"}],"version-history":[{"count":4,"href":"https:\/\/africa-and-science.com\/index.php?rest_route=\/wp\/v2\/posts\/3801\/revisions"}],"predecessor-version":[{"id":4201,"href":"https:\/\/africa-and-science.com\/index.php?rest_route=\/wp\/v2\/posts\/3801\/revisions\/4201"}],"wp:attachment":[{"href":"https:\/\/africa-and-science.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=3801"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/africa-and-science.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=3801"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/africa-and-science.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=3801"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}