PhD Studentship in Logic and Computation, Manchester Metropolitan
University, deadline June 18th

The Department of Computing and Mathematics has one, three year, PhD studentship available in Logic and Computation starting in September/October 2004. The studentship is open to EU or UK nationals who have, or expect to gain, either a good honors degree or a master_s degree in an appropriate subject (which should include logic). The studentship will attract a minimum bursary of £10,500 tax free with annual increment of approximately £500.

The project is focused on investigation of logical consequence in non-standard logics, originating in AI and Computer Science. The prime focus of the research will be logical inference in modal intransitive and multi-modal logics. Therefore student_s should have a good background in mathematical tools of modal logic, ideally including Kripke models and varieties of modal algebras.

The studentship will be supervised by Dr.Vladimir Rybakov who has more than 20 years experience in non-standard mathematical logic and has successfully directed seven Ph.D students, and has published two books and numerous papers in the area (cf. http://www.docm.mmu.ac.uk/STAFF/V.Rybakov)

Candidates wishing to apply should send a CV together with the names and addresses of two academic referees to Dr. Vladimir Rybakov, Department of Computing and mathematics, Manchester Metropolitan University, M1 5GD or e-mail them to V.Rybakov at mmu.ac.uk. The closing date for applications is Friday the 18th of June 2004.