[DL] Research Positions available

[Uli Sattler]

2 RESEARCH ASSOCIATES
FORMAL METHODS GROUP/INFORMATION MANAGEMENT GROUP
REOL PROJECT (REF - EPS/144/05)
Salary:
£21,640 to £27,116 p.a.

1 RESEARCH ASSOCIATE/FELLOW
INFORMATION MANAGEMENT GROUP
TONES PROJECT (REF - EPS/145/05)
Salary:
£21,640 to £35,883 p.a.

Applications are invited for two Research Associates and one Research 
Associate/Fellow to join the School of Computer Science at the 
University of Manchester. All three posts are available from 1 October 
2005, or as soon as possible thereafter, for a period of three years. 
The School of Computer Science is a leading (5*) centre for research in 
Computer Science. The three available positions are in the Information 
Management Group (IMG) and in the Formal Methods (FM) Group, both of 
which are internationally recognised for their research in automated 
reasoning and logic-based knowledge representation. IMG focuses on the 
use of Description Logics (DLs) and DL based ontology languages, and on 
the development of DL based reasoning systems; members of the group 
have been responsible for the design of reasoning algorithms for the 
DLs that underpin state of the art ontology languages, as well as the 
development of implementation techniques that are now used in all state 
of the art DL reasoners. The FM group focuses on First Order reasoning 
and the development of First Order theorem provers; their Vampire 
system won the main category of the CASC theorem proving competition 
for the last four years.

Of the three available posts, two are funded by the EPSRC, within the 
REOL project, and one is funded by the European Union 6 th Framework 
within the TONES project (which is a collaboration with research 
institutions in Rome , Bolzano , Dresden , and Hamburg ). Both projects 
aim at enhancing the reasoning services available for ontology design, 
maintenance, usage, and integration. REOL focuses on the development of 
effective reasoning for very expressive languages (up to full First 
Order Logic), while TONES focuses on extensions of Description Logics, 
improving the usability of existing reasoning services, and the design 
and investigation of novel reasoning services. Further details of the 
two projects can be found below.

Given the aims of the two projects, we are seeking candidates with 
interests or capabilities in logics (preferably in description, modal, 
or first order logics) and automated reasoning. Successful applicants 
should possess a good first degree in computer science or a related 
discipline, and have at least some relevant postgraduate experience, 
preferably a PhD.

Informal enquires:
Dr Ulrike Sattler
Tel: +44 (0)161 275 6176; email: sattler at cs.man.ac.uk
Professor Andrei Voronkov
E-mail: voronkov at cs.man.ac.uk
Ian Horrocks
E-mail: horrocks at cs.man.ac.uk