|Publication date||7 March 2019|
|Closing date||14 April 2019|
|Level of education||Master's degree|
|Hours||38 hours per week|
|Salary indication||€2,325 to €2,972 gross per month|
The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for two fully funded four-year PhD positions on the project Proof Systems for Modal Fixpoint Logics, directed by Bahareh Afshari and Yde Venema.
The positions are part of the research project Proof Systems for Modal Fixpoint Logics, to be directed by Dr Bahareh Afshari and Prof. Yde Venema. This project, which also involves a post-doc position, is a merger of two research projects:
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:
All PhD candidates at the ILLC furthermore are expected to make a small contribution to the institute’s educational mission, e.g., by working as teaching assistants for courses in their area of expertise and by assisting with the supervision of student research projects.
These PhD positions will be embedded in the ILLC’s PhD Programme, which offers training in a range of transferable skills that are relevant for a successful research career.
We are looking for candidates who have 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 Master’s degree in a relevant discipline, such as Logic, Theoretical Computer Science, or Mathematics. Furthermore, you should possess:
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, PhD candidates at the ILLC have the opportunity to attend Dutch language classes if they wish.
For informal inquiries regarding the general research project, the postdoc positions or the application procedure, please contact:
The UvA is an equal opportunity employer. We celebrate diversity and are committed to creating an inclusive environment for all employees. We value a spirit of enquiry and endurance, provide the space to keep asking questions and cherish a diverse atmosphere of curiosity and creativity.
Your application should include the following information (in one single PDF file):
Submit your application no later than 14 April 2019 via the link below and use the CV field to upload the PDF file specified above. Only applications that conform to these instructions are ensured full consideration by the search committee. In particular, please do not submit more than one file. #LI-DNP
No agencies please