ILLC vacancies for 3 PhD students and 1 postdoc

The ILLC has vacancies for 3 PhDs and 1 post-doc, in the area of Logic and Theoretical Computer Science full-time, starting date September 2006. 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.

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

For more information, see http://www.uva.nl/vacancies or http://www.english.uva.nl/vacancies/object.cfm/