Postdoc position available in project "Consequence Relations in Logics of AI"

Research Associate
Department of Computing and Mathematics
Manchester Metropolitan University
Fixed term for 36 months
Starting salary: around £26,000 per annum

Applications are invited for a Research Associate to work on the ESPRC-funded project "Consequence Relations in Logics of AI". This appointment is available from 1 October 2007 or as soon as possible thereafter.

Applicants must have a degree and a PhD in non-classical logics; experience of research in modal and temporal logics, or other logic originating in AI, and fluency in usage tools for admissible inference rules are very essential. Applicants are expected to work skilfully with Kripke and algebraic semantics for non-classical logics via Stone representation.

For application to this post e-mail the application letter stating that you wish to apply for the post of RA in Manchester Metropolitan University, your CV and complete list of publications to v.rybakov at mmu.ac.uk and Vladimir_Rybakov at mail.ru (both).

Closing date for applications: 10 September 2007