Logic List Mailing Archive

Three PhD student positions, One Postdoc position, Mathematical Logic, Universiteit van Amsterdam

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.