FOM: research position in algebraic model theory

[Stephen G Simpson]

     Swansea, Wales (UK)

     Research Assistant

     "Algorithmic Model Theory"


POST TITLE: Research Officer/Senior Research Assistant

DEPARTMENT: Computer Science

CLOSING DATE: 17.5.2002.

REFERENCE NUMBER: L3645

VACANCY NUMBER: 2602

BRIEF DETAILS:

Up to £19681 per annum

Applications are invited for a Fixed Term Research Officer/Senior
Research Assistant, reference L3645 to work on an EPSRC funded project
in Theoretical Computer Science. The title of the project is
"Algorithmic Model Theory for Specific Semantic Domains" and the
emphasis of the research is on the model theoretic study of modal
logics and related fragments of first order logic.

Applicants should have an MSc or PhD in Mathematics or Computer
Science, with expertise in Mathematical Logic and/or Logic in Computer
Science. Experience in related areas of Theoretical Computer Science
and/or application areas relevant to the project such as process
logics, database theory or knowledge representation would be
advantageous.

Informal enquiries are welcome to Dr Martin Otto on 01792 295259 or by
email to m.otto at swansea.ac.uk.

The post is available for a fixed term period up to one year.