[Om-announce] 2 Vacancies in automated reasoning, web ontologies, and multi-agent systems

Renate Schmidt schmidt at cs.man.ac.uk
Fri Apr 28 11:03:58 CEST 2006

		     EPSRC funded project in

VACANCIES: 1 Post-Doc Research Associate
 	   1 PhD Research Studentship

CLOSING DATE: 31 May 2006
START DATE:   Beginning of September 2006

Applications are invited for the position of a research associate
(Manchester) and the position of a research student (Liverpool)
to work on the EPSRC funded project `Practical Reasoning
Approaches for Web Ontologies and Multi-Agent Systems'. This is a
three year collaborative research project between the School of
Computer Science at the University of Manchester and the
Department of Computer Science at the University of Liverpool.

The positions are part of a research programme which aims to
develop a powerful and versatile logic engineering platform which
will comprise various tools aimed to support both users and
developers of logic theories, formal specification frameworks,
and automated reasoning formalisms to carry out logical
reasoning. The project will develop, study and implement
practical resolution-based approaches for reasoning about
expressive web ontology languages and expressive agent logics.
The research at Manchester will focus on reasoning for the
semantic web, ontologies, and description logics, while the
research at Liverpool will focus on reasoning for multi-agent


Based at Manchester the appointment will be on a fixed term
contract for 36 months.  The post is available from 1 September
2006, or a later date by negotiation.

Salary: Up to 28,009 Pounds p.a.

Full details: 

Informal enquiries: 
Dr. Renate Schmidt, email: schmidt at cs.man.ac.uk 


Based in Liverpool the funding provided by the EPSRC includes PhD
registration fees at the level of EU/UK applicants as well as a
stipend towards the cost of living, both for the three year
duration of the project.

Full details: 

Informal enquiries: 
Dr Ullrich Hustadt, email: U.Hustadt at csc.liv.ac.uk

More information about the Om-announce mailing list