<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:st1="urn:schemas-microsoft-com:office:smarttags" xmlns:st2="urn:schemas:contacts" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii">
<meta name=Generator content="Microsoft Word 11 (filtered medium)">
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="country-region"/>
<o:SmartTagType namespaceuri="urn:schemas:contacts" name="middlename"/>
<o:SmartTagType namespaceuri="urn:schemas:contacts" name="Sn"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="place"/>
<!--[if !mso]>
<style>
st1\:*{behavior:url(#default#ieooui) }st2\:*{behavior:url(#default#ieooui) }
</style>
<![endif]-->
<style>
<!--
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman";}
a:link, span.MsoHyperlink
{color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:Arial;
color:windowtext;
font-weight:normal;
font-style:normal;
text-decoration:none none;}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.25in 1.0in 1.25in;}
div.Section1
{page:Section1;}
-->
</style>
</head>
<body lang=EN-US link=blue vlink=purple>
<div class=Section1>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'>Research Scientist/PostDoc – Scalable Methods for
Ontological Reasoning using High Performance Computing with Applications to
Healthcare<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'>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). <o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'>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.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'>Qualifications: PhD in appropriate area or MSc with 2-3
years experience in theorem proving strategies. Excellent written and oral
skills in English.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'>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.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'>To apply: Send a 1 page Letter of Application describing how
you fit the requirements of this position to Wendy MacCaull at wmaccaul@stfx.ca
Include as attachments:<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'>(1) A detailed CV; <o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'>(2) Names and contact information for 3 references (names,
addresses, e-mail addresses and phone numbers); <o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'>(3) Copies of recent publications and/or detailed
descriptions of projects and previous experience. <o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'>Use as the subject: Methods for Scalable Ontological
Reasoning. We will begin reviewing applicantions on August 2nd, 2010 and hope
to have the successful candidate in place by September/October 2010.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Arial><span style='font-size:12.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face="Times New Roman"><span style='font-size:
12.0pt'> <o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Wendy MacCaull, PhD,</span></font><o:p></o:p></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Professor, Mathematics, Statistics & Computer
Science,</span></font><o:p></o:p></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Director, StFX Centre of Logic and Information,</span></font><o:p></o:p></p>
<p class=MsoNormal><st1:place w:st="on"><st2:Sn w:st="on"><font size=2
face=Arial><span style='font-size:10.0pt;font-family:Arial'>St.</span></font></st2:Sn><font
size=2 face=Arial><span style='font-size:10.0pt;font-family:Arial'> <st2:middlename
w:st="on">Francis</st2:middlename> <st2:middlename w:st="on">Xavier</st2:middlename>
<st2:Sn w:st="on">University</st2:Sn></span></font></st1:place><font size=2
face=Arial><span style='font-size:10.0pt;font-family:Arial'>,</span></font><o:p></o:p></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Antigonish, NS, <st1:country-region w:st="on"><st1:place
w:st="on">Canada</st1:place></st1:country-region>, B2G 2W5</span></font><o:p></o:p></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Tel: 902 867 3989</span></font><o:p></o:p></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>FAX: 902 867 1397</span></font><o:p></o:p></p>
<p class=MsoNormal><font size=3 face="Times New Roman"><span style='font-size:
12.0pt'> <o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face="Times New Roman"><span style='font-size:
12.0pt'> <o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Information is this e-mail is confidential and meant only
for the addressee. Please do not circulate it without prior
permission.</span></font><o:p></o:p></p>
<p class=MsoNormal><font size=3 face="Times New Roman"><span style='font-size:
12.0pt'><o:p> </o:p></span></font></p>
</div>
</body>
</html>