Applications are invited for a

PhD Position in Computability Theory

at the newly founded research group Algorithm Engineering headed by Tobias Friedrich at the Hasso Plattner Institute (HPI) of University of Potsdam, Germany.  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. Applications must be sent via email, preferably as a single PDF, to jobs-friedrich(at)hpi.de by November 1, 2015.