Thursday, October 1, 2015

[DMANET] PhD Position in Computability Theory

Applications are invited for a

Ph.D. Position in Computatability Theory

at the newly founded research group Algorithm Engineering headed by Tobias
Friedrich at the Hasso Plattner Institute (HPI) of University of Potsdam,
Germany [1]. The HPI is a unique research and teaching institute in
Germany, which was founded in 1999 as an institute of the University of
Potsdam. HPI carries out internationally acclaimed research and offers
innovative academic majors in the field of IT Systems Engineering. The
institute offers a vibrant scientific environment at the beautiful Campus
Griebnitzsee, which is located at the border to Berlin.

The position is full-time and can be started as soon as possible for the
applicant. The successful applicant is awarded a competitive stipend and
generous travel support.

Applicants should have a strong theoretical/mathematical background and an
interest in the topic of computability theory. The successful applicant
will join a project headed by Dr. Timo Kötzing in the area of Computational
Learning Theory, which relies heavily on the methods of computability
theory.

All applicants should have an excellent Master degree (or equivalent) in
mathematics, computer science or a related discipline. Applications should
include a detailed CV, a copy of master thesis and a list of courses and
grades. Please also mention names and contact details of one or two
references -- preferably one from the thesis advisor.

Interested candidates should direct their questions to Timo Kötzing [2].
Applications must be sent via email, preferably as a single PDF, to
jobs-friedrich(at)hpi.de by November 1, 2015.

[1] http://hpi.de/friedrich/home.html
[2] http://hpi.de/friedrich/people/timo-koetzing.html

**********************************************************
*
* 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/
*
**********************************************************