[DL] Fwd: Scalable Ontology Reasoning

Ian Horrocks ian.horrocks at comlab.ox.ac.uk
Mon Jul 19 13:07:45 CEST 2010

Begin forwarded message:

> From: Wendy MacCaull <wmaccaul at stfx.ca>
> Date: 15 July 2010 15:26:57 GMT+01:00
> To: Ian Horrocks <ian.horrocks at comlab.ox.ac.uk>
> Subject: Scalable Ontology Reasoning
> ________________________________________________________________
> Research Scientist/PostDoc - Scalable Methods for Ontological Reasoning using High Performance Computing with Applications to Healthcare
> This is a 2 year contract position to develop scalable methods for ontological reasoning with applications to health care. Strong implementation skills are required; ideally the candidate will demonstrate proficiency in high performance computing methodologies, in strategies for (automated) reasoning, and in ontology development (though proficiency in some and commitment to developing proficiency in the other may be acceptable). Case studies will involve very large ontologies for health care. The candidate will have the opportunity to work with researchers in an interdisciplinary 6 year R&D project led by Dr. Wendy MacCaull, at StFX University in Antigonish, Nova Scotia, carried out in collaboration with industry partners and the local health authority (see www.logic.stfx.ca). 
> This position is partially supported by the ACEnet/Oracle Research Collaboration Program which has the goal of reducing barriers to the efficient, effective, and widespread use of the ACEnet Research Computing Platform through the creation of innovative open source grid, middleware, or web/portaltechnologies.
> Qualifications: PhD in appropriate area or MSc with 2-3 years experience in theorem proving strategies. Excellent written and oral skills in English.
> Salary: $44,500 per year (plus medical and dental benefits and a funding allowance for conference presentations). Second year funding is contingent on satisfactory performance during the first year.
> To apply: Send a 1 page Letter of Application describing how you fit the requirements of this position to Wendy MacCaull at wmaccaul at stfx.ca Include as attachments:
> (1) A detailed CV; 
> (2) Names and contact information for 3 references (names, addresses, e-mail addresses and phone numbers); 
> (3) Copies of recent publications and/or detailed descriptions of projects and previous experience. 
> Use as the subject: Methods for Scalable Ontological Reasoning.  We will begin reviewing applications on August 2nd, 2010 and hope to have the successful candidate in place by September/October 2010.

More information about the dl mailing list