Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD position in logic, University of Leicester

A PhD position in the area of Logic and Theoretical Computer Science is available at the Department of Computer Science, University of Leicester, with a planned start date of September 2006.

The successful student will join the ongoing work of Alexander Kurz and Nick Bezhanishvili on the ESPRC-funded project "Coalgebras, Modal Logic, Stone Duality". The project is related to other ongoing research at the Department. There are direct connections with the research of Dirk Pattinson on coalgebras and modal logic, and subjects which underpin the planned research are in common with those of Roy Crole (categorical logic, type theory, semantics of programming languages), Vincent Schmitt (category theory), and Fer-Jan de Vries (term rewriting).

There will be close collaboration with the logic groups at the University of Amsterdam (in particular, cooperation within the VICI-project directed by Yde Venema at the Institute for Logic, Language and Computation) and at University of Oxford (Hilary Priestley, Alexandru Baltag).

For further information contact Alexander Kurz at or see http://www.cs.le.ac.uk/people/akurz/

Please note that this newsitem has been archived, and may contain outdated information or links.