ref: http://www.jobs.ed.ac.uk/vacancies/index.cfm?fuseaction=vacancies.detail&vacancy_ref=3009319

Informatics: Post-doctoral researcher in ontology evolution in physics

Vacancy details

    * Vacancy Reference: 3009319
    * Department: Informatics
    * Job Title: Post-doctoral researcher in ontology evolution in
physics
    * Job Function: Academic
    * Job Type: Full Time
    * Live Date: 11-Jun-2008
    * Expiry Date: 02-Jul-2008
    * Salary Scale: £34,793 - £41,545
    * Internal job: No. Anybody can apply for this position.
    * Further Information:
http://www.jobs.ed.ac.uk/vacancies/index.cfm?fuseaction=vacancies.furtherdetails&vacancy_ref=3009319
    * Conditions Of Employment:
http://www.jobs.ed.ac.uk/vacancies/index.cfm?fuseaction=vacancies.conditions&vacancy_ref=3009319

Informatics: Post-doctoral researcher in ontology evolution in physics

Based in the School of Informatics in the University of Edinburgh, you
will join the world-class Mathematical Reasoning research group
(http://dream.inf.ed.ac.uk/) led by Prof. Alan Bundy. You will be part
of a small team looking at how the representation of physical theories
can be automatically repaired to react to contradictory experimental
evidence. This is part of a larger enterprise to investigate the
automation of ontology evolution. Related current projects are
concerned with autonomous software agents, elementary mathematics and
the law. The other major activity of the group is in the automation of
reasoning about mathematics and computer programs.

Your specific responsibilities will include: the identification and
exploration of suitable historical cases studies; the design,
implementation and evaluation of ontologies and ontology repair plans;
the development of a theory of ontology evolution; the dissemination
of the results, including paper publication, software distribution,
organising workshops and tutorials; giving seminars, tutorials,
conference presentations, etc.; co-supervision of a project student
(PhD) attached to the project; and general assistance with the
management of the project.

You will have at least three years previous postdoctoral research
experience in a relevant subject and a background in logic and
knowledge representation and inference, or related area of
informatics, as well as experience with declarative programming,
mathematics and physics. You will gain experience in an exciting and
growing area of informatics, which is providing the enabling
technology for the next generation of the internet and autonomous
agents.

Appointment will be at Step 1, £34,793 p.a. in the first instance due
to grant restrictions.

Fixed Term: 3 years