[DMANET] PhD position in Theoretical Computer Science at HU Berlin

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.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************