Postdoctoral researcher in Proof Systems for Modal Fixpoint Logics

Research / Academic


The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for a three-year position at the postdoc level on the project Proof Systems for Modal Fixpoint Logics, directed by Bahareh Afshari and Yde Venema.

The position is part of the research project Proof Systems for Modal Fixpoint Logics, to be directed by Dr Bahareh Afshari and Prof. Dr Yde Venema. This project, which also involves three PhD positions, is a merger of two research projects:

  • Proof Theory of Fixed Point Modal Logic (1 PhD), a project funded by the Faculty of Science of the University of Amsterdam as part of Afshari's MacGillavry fellowship;
  • Derivation Systems for Modal Fixpoint Logics (2 PhDs and 1 PD), a project awarded to Venema by the Netherlands Organisation for Scientific Research (NWO) in the ENW TOP grant programme.

Many applications of modal logic, in particular in computer science, require the formalism to deal with various kinds of recursion. Modal fixpoint logics are extensions of basic modal logic that deal with the concept of recursion in an elegant and fundamental way by adding operators or connectives that can express recursive statements. Whereas semantic and computational aspects of these logics are by now reasonably well understood, the theory of proof systems for modal fixpoint logics has remained relatively underdeveloped.

The aim of the Proof Systems for Modal Fixpoint Logics project is to develop a general and uniform theory of proof systems for modal fixpoint logics. Such a theory will extend that of basic modal logics with proof systems that allow for derivations that are circular or feature other mechanisms for dealing with the recursive nature of fixpoints. The envisaged methodology for designing and studying such proof systems will integrate insights from proof theory with ideas from the theories of automata, infinite games, and (co-)algebra. A more detailed description of the research project can be obtained from the project leaders.

You will be expected to contribute to this research project. Specifically, we will ask you to perform the following tasks:

  • to collaborate with the researchers on the Proof Systems for Modal Fixpoint Logics project;
  • to assist the project leaders with the supervision of the PhD students;
  • to regularly present research results at international workshops and conferences, and to publish them in conference proceedings and journals;
  • to participate in and to contribute to the organisation of research activities and events at the Institute, such as workshops and colloquia.

While this is primarily a research position, the successful applicant is expected to also make a small contribution to the institute’s educational mission, in topics relevant to their research profile.


We are looking for a candidate who has the technical skills and the scientific interest to conduct cutting-edge research in logic. You should hold, or expect to obtain before the start of your appointment, a PhD degree in a relevant discipline, such as Logic, Theoretical Computer Science, or Mathematics. Furthermore, you should possess:

  • 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.

Please note that knowledge of the Dutch language is not required for these positions, nor is it required for being able to live in Amsterdam. However, researchers at the ILLC have the opportunity to attend Dutch language classes if they wish.

Salary Benefits:

  • A fixed-term initial employment contract for 12 months full-time (38 hours per week). This will be extended with a further 24 months after a positive assessment. The starting date is 1 September 2019 or shortly thereafter;
  • depending on experience, the gross monthly salary will range from €2,709 to €4,274 (scale 10) and will be supplemented with an 8% holiday allowance and an 8.3% end-of-year bonus. The Collective Labour Agreement of Dutch Universities applies;
  • good secondary employment benefits: Working at the Faculty of Science.
Work Hours:

38 hours per week


Spui 21