Logic List Mailing Archive

CfA: PhD 3y+ at the research group for Theoretical Computer Science, Hamburg (Germany), deadline: 18 March 2024

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. 

Informal inquiries are encouraged and should be directed to Antoine Mottet (antoine.mottet@tuhh.de). The deadline for application is 18 March 2024. Applications are done at the following address: https://stellenportal.tuhh.de/jobposting/d09a41b5732aeb48289949e5b16cbafd7b247a1e0
The documents to be provided are:
- a cover letter,
- a short CV,
- copies of university degrees and transcripts,
- a copy of the thesis produced towards the obtention of a Master's degree in computer science or mathematics (in case the applicant has not finished their Master's thesis, provide an abstract of the topic of the thesis),
- a letter of reference.

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php