FOM: research position in algebraic model theory

Stephen G Simpson simpson at
Mon Apr 1 11:36:46 EST 2002

     Swansea, Wales (UK)

     Research Assistant

     "Algorithmic Model Theory"

POST TITLE: Research Officer/Senior Research Assistant

DEPARTMENT: Computer Science

CLOSING DATE: 17.5.2002.




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

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

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

More information about the FOM mailing list