PhD 3y+ at the research group for Theoretical Computer Science, Hamburg (Germany)

The research group for theoretical computer science at the Hamburg University of Technology is inviting applications for one full-time PhD position to do research in the field of constraint satisfaction problems over infinite sets. The research will take place under the supervision of Antoine Mottet. The project offers a variety of questions in many different fields of mathematics and computer science (universal algebra, (finite) model theory, topology, and computational complexity to name a few).

The position is a full-time position on the echelon E13 of the German public salary scale (100% TV-L E13, which amounts to about 2600 euros net per month depending on family situation) for a duration of 3 years, with a possibility of extension. Participation in the teaching activities of the group is possible and encouraged at a small volume (around 3 hours per week during the lecture periods). The starting date is flexible.

The successful applicant holds or is about to finish a Master's degree in computer science (with a theoretical focus) or mathematics. They are motivated by academic research and have a broad background in computer science or mathematics. They should be motivated to do cutting edge research in the fields of universal algebra, finite model theory and model theory of countably categorical structures, and computational complexity.