PhD position in Theoretical Computer Science at HU Berlin The logic and complexity group at HU Berlin lead by Prof. Dr. Christoph Berkholz is looking for a PhD candidate in theoretical computer science. * Details: https://hu.berlin/luk-vacancies * Apply by: January 23, 2020 * Starting date (expected): April 2020 The ideal candidate holds or will soon receive an excellent master's degree in computer science or mathematics and has a strong background in theoretical computer science with a specialisation in at least one research field covered by the group, for example, knowledge compilation, constraint satisfaction, finite model theory, database theory, or proof complexity. The successful applicant is expected to carry out research in the Emmy-Noether project "Representation Complexity of Enumeration and Counting Algorithms" led by Christoph Berkholz. The position is fully funded for initially 2,5 years with the possibility of extension and has no formal teaching obligations. The expected starting date is April 2020. For informal inquiries do not hesitate to contact Christoph Berkholz (berkholz@informatik.hu-berlin.de). Applications (in German or English) should include: - 1-2 page letter of motivation describing the interest in the position and the background in theoretical computer science - CV - bachelor's and master's degree certificate (if available at the time of application) as well as a list of taken courses with grades - a copy of the master thesis and publications (if applicable) - name and mail address of one or two references that are able and willing to provide a letter of recommendation (ideally including the master thesis advisor) To obtain full consideration, send your application material referring to Kennziffer DR/240/19 by January 23, 2020 in a single PDF file (plus additional files for thesis/publications) to Prof. Dr. Christoph Berkholz (berkholz@informatik.hu-berlin.de). HU is seeking to increase the proportion of women in research and teaching, and specifically encourages qualified female scholars to apply. Severely disabled applicants with equivalent qualifications will be given preferential consideration. People with an immigration background are specifically encouraged to apply. -- Prof. Dr. Christoph Berkholz Tel: +49 30 2093 3079 Fax: +49 30 2093 3081 Email: berkholz@informatik.hu-berlin.de Url: http://www.informatik.hu-berlin.de/~berkhoch Postanschrift / Postal address: Institut für Informatik Humboldt-Universität zu Berlin Unter den Linden 6 10099 Berlin Germany