UNIVERSITEIT VAN AMSTERDAM Three PhD students and one post-doc, in the area of Logic and Theoretical Computer Science, full-time, starting date September 2006 vacancy number 06-1024 The appointees will join the VICI project Algebra and Coalgebra, the mathematical environment of modal logic, which is funded by the NWO. The project will be directed by Dr Y. de Venema. Tasks. The appointees will be expected to perform research related to the mathematical theory of modal logic. Each of the PhD students will concentrate on one of the following projects: - Modal fixpoint logic - Partially ordered algebra - Universal coalgebra The post-doc will perform research preferably in the following area: - Coalgebra automata. However, other proposals that link modal logic and coalgebra will be considered as well. While the focus of the jobs will be on research (or research training), they will include moderate teaching duties in logic-related courses. Requirements. We are looking for candidates with a strong background in mathematical logic and/or theoretical computer science. Candidates for the PhD positions must hold (or will soon be awarded) a research-oriented master's degree or equivalent in Logic, Mathematics or Computer Science. They should have demonstrable knowledge in at least one, and preferably more, of the following areas: modal logic, universal algebra, automata theory, category theory, coalgebra. In addition, candidates for the post-doc position should have finished a PhD in an area closely related to modal logic and/or coalgebra. The envisaged starting date for the positions is 1 September 2006, although this might be negotiable. More information. Further information about the positions, or about VICI project Algebra and Coalgebra, can be obtained from Dr Y. Venema, e-mail yde@science.uva.nl, website http://staff.science.uva.nl/~yde. Appointment. In the case of the PhD positions, the appointment will be for a period of four years (one year plus a further three years after a positive evaluation) and should lead to a dissertation. The gross monthly salary will be in accordance with the University regulations for academic personnel, and will range from EUR 1,933 (first year) up to a maximum of EUR 2,472 (fourth year). The appointment of the post-doc will be for a period of two years. The gross monthly salary will range from EUR 2,252 to EUR 3,554 (scale 10). Job application. Applications should include: - a detailed curriculum vitae - a transcript of grades and courses from the applicants MSc degree (in the case of the PhD positions) - two letters of reference, one of which should be from the MSc/PhD thesis supervisor (these letters should be sent directly by the referees). Applicants should clearly state whether they are applying for the post-doc position or one of the PhD positions. The application letter should contain a statement linking the general research interest of the candidate to one or more of the above-mentioned projects. Applications, marked strictly confidential and quoting the vacancy number in the upper left-hand corner of the envelope, should be sent before 1 June 2006 to: Universiteit van Amsterdam, Faculty of Science - Dept PZ, attn: A. Craje Kruislaan 404, 1098 SM Amsterdam, The Netherlands.