Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

PhD position in Theoretical Computer Science

The logic and complexity group at HU Berlin is looking for a PhD candidate in theoretical computer science, see here for the official job advertisement.

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).

The official and legally binding job advertisement can be found here (in German).

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.