Research Associate in Computer Science
The CAMELOT project seeks to develop a practical yet expressive
knowledge representation systems with highly optimised sound and
complete reasoning and situated within a CORBA architecture. A
prototype system based on a Description Logic reasoner has already
been developed and is being used in a bioinformatics application. The
post to complete the work is 18 months fixed term, but with a high
likelihood of further funding. There are also opportunities for
continued study towards a PhD.
The successful applicant will have a B.Sc. or post graduate
qualification in Computer Science and be an accomplished software
engineer with an interest in logic. Lisp-programming would be an
advantage.
The applicant will be joining an established, active and successful
group linking information management and logics.
The appointment will be made on the RA1A Scale (16,655 UKP to 20,869
UKP [under review] depending on experience).
For further particulars and an application form, please contact the
Director of Personnel, The University of Manchester, Manchester M13
9PL (tel: (+44) 161 275 2028, fax: (+44) 161 275 5306).
Informal enquiries to: Ian Horrocks ········@cs.man.ac.uk
More information about the CAMELOT project and the Information
Management Group can be found at:
<http://www.cs.man.ac.uk/~horrocks/Camelot>
<http://img.cs.man.ac.uk/>
Closing date: 31st July 1999