FOM: research position in algebraic model theory
Stephen G Simpson
simpson at math.psu.edu
Mon Apr 1 11:36:46 EST 2002
Swansea, Wales (UK)
"Algorithmic Model Theory"
POST TITLE: Research Officer/Senior Research Assistant
DEPARTMENT: Computer Science
CLOSING DATE: 17.5.2002.
REFERENCE NUMBER: L3645
VACANCY NUMBER: 2602
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 swansea.ac.uk.
The post is available for a fixed term period up to one year.
More information about the FOM