Saturday, February 18, 2023

[DMANET] PhD Position in TCS @ University of Amsterdam

*** PhD Position in Theoretical Computer Science ***

Deadline for applications: March 9, 2023

Do you enjoy working in an interdisciplinary research setting on intellectually challenging questions? The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam is looking for an ambitious PhD candidate for the research unit Theoretical Computer Science (

The unit's research focuses on various topics in the field of theoretical computer science, including (but not limited to) theory of and algorithmic methods for AI planning, logical and algorithmic foundations of data management and AI, algorithms for modal logics (e.g., model checking epistemic and dynamic logics), and algorithmic game theory, mechanism design and algorithmic fairness.

You can obtain more details about the research unit and the vacancy by contacting the chair of the selection committee, Ronald de Haan (, or any of the prospective project supervisors: Gregor Behnke, Balder ten Cate, Malvin Gattinger, or Rebecca Reiffenhäuser.

We specifically encourage women and other underrepresented groups to apply for this position.

The position includes a contract for 38 hours per week for the duration of 4 years. The preferred starting date is September 2023, and the exact starting date is to be discussed. The gross monthly salary, based on 38 hours per week and dependent on relevant experience, ranges between €2,541 and €3,247, plus 8% holiday and 8% year-end allowance.

We are looking for candidates that have the following:
- A Master's degree in a relevant discipline, such as Logic, (Theoretical) Computer Science or Mathematics.
- An excellent academic track record.
- A serious interest in pursuing fundamental research.
- Good writing and presentation skills.
- Good social and organisational skills.
- Full professional proficiency in spoken and written English.

For more information, see:

* Contributions to be spread via DMANET are submitted to
* 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.