<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:st2="urn:schemas-microsoft-com:office:smarttags" xmlns:st1="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-microsoft-com:office:smarttags"
name="PostalCode"/>
<o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="City"/>
<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>
st2\:*{behavior:url(#default#ieooui) }st1\:*{behavior:url(#default#ieooui) }
</style>
<![endif]-->
<style>
<!--
/* Font Definitions */
@font-face
{font-family:"Bookman Old Style";
panose-1:2 5 6 4 5 5 5 2 2 4;}
/* 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 style='margin-left:1.0in;text-indent:.5in'><font size=2
face=Arial><span style='font-size:10.0pt;font-family:Arial'>PostDoc Position in
Parallel Computing and Formal Verification<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'> <o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'> Applications are invited for a PostDoc at <st1:Sn
w:st="on">St.</st1:Sn> Francis Xavier University <o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'> <o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Supervisor: Dr. Wendy MacCaull, Professor of Mathematics,
Statistics and Computer Science.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Project: Parallel approaches to model checking based
verification and tableau-based theorem proving for problems of high
computational complexity will be investigated. The motivating examples will be
drawn from adaptive workflows for health care as developed within the context
of a 5-year interdisciplinary research and development project under the
leadership of MacCaull. The project is a university industry collaboration in
dynamic verifiable workflow software for decision support in health.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Qualifications: A PhD degree in Computer Science (or closely
related subject), with expertise in parallel computing and logic programming;
background in formal methods is an asset.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>The successful applicant will be part of the newly
established Centre for Logic and Information at StFX (www.logic.stfx.ca ), and
have the opportunity to work with mathematicians, computer scientists, and
software engineers in academics and with a health informatics company. He or
she will join a growing group of researchers at StFX verification and formal
methods and be developing associated methods in parallel and high performance
computing using ACEnet, Atlantic Canada's high performance computing consortium
( www.ace-net.ca ). <o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>Funding: The salary is $40,000 per year, plus benefits, plus
a research allowance of up to $4,000. per year. Funding is available for 1 year
and renewable for a second year. Some opportunities for (limited) undergraduate
teaching may be available. <o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'>To Apply: Please forward a covering letter, a CV (including
references) and university transcripts to Dr. Wendy MacCaull, Dept. of
Math/Stats/CS, PO Box 5000, St. Francis Xavier University, Antigonish, NS,
Canada B2G 2W5. Applications will be initially reviewed on Aug. 7, 2007 with a
start date of October 1, 2007 (negotiable). The file will remain open until
filled. Those interested in applying can contact Dr. MacCaull at
wmaccaul@stfx.ca for further details.<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt;
font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><em><i><font size=2 color=navy face="Bookman Old Style"><span
style='font-size:10.0pt;font-family:"Bookman Old Style";color:navy'>Wendy
MacCaull, PhD,</span></font></i></em><o:p></o:p></p>
<p class=MsoNormal><em><i><font size=2 color=navy face="Bookman Old Style"><span
style='font-size:10.0pt;font-family:"Bookman Old Style";color:navy'>Professor,
Dept. Math/Stats/CompSci,</span></font></i></em><o:p></o:p></p>
<p class=MsoNormal><em><i><font size=2 color=navy face="Bookman Old Style"><span
style='font-size:10.0pt;font-family:"Bookman Old Style";color:navy'>Director,
Laboratory for Logic and Computation,</span></font></i></em><o:p></o:p></p>
<p class=MsoNormal><st2:place w:st="on"><st1:Sn w:st="on"><em><i><font size=2
color=navy face="Bookman Old Style"><span style='font-size:10.0pt;font-family:
"Bookman Old Style";color:navy'>St.</span></font></i></em></st1:Sn><em><i><font
size=2 color=navy face="Bookman Old Style"><span style='font-size:10.0pt;
font-family:"Bookman Old Style";color:navy'> <st1:middlename w:st="on">Francis</st1:middlename>
<st1:middlename w:st="on">Xavier</st1:middlename> <st1:Sn w:st="on">University</st1:Sn></span></font></i></em></st2:place><em><i><font
size=2 color=navy face="Bookman Old Style"><span style='font-size:10.0pt;
font-family:"Bookman Old Style";color:navy'>,</span></font></i></em><o:p></o:p></p>
<p class=MsoNormal><em><i><font size=2 color=navy face="Bookman Old Style"><span
style='font-size:10.0pt;font-family:"Bookman Old Style";color:navy'>Antigonish,
<st2:place w:st="on"><st2:City w:st="on">NS</st2:City>, <st2:PostalCode w:st="on">B2G
2W5</st2:PostalCode>, <st2:country-region w:st="on">Canada</st2:country-region></st2:place>,</span></font></i></em><o:p></o:p></p>
<p class=MsoNormal><em><i><font size=2 color=navy face="Bookman Old Style"><span
style='font-size:10.0pt;font-family:"Bookman Old Style";color:navy'>Phone:
902 867-3989, </span></font></i></em><o:p></o:p></p>
<p class=MsoNormal><em><i><font size=2 color=navy face="Bookman Old Style"><span
style='font-size:10.0pt;font-family:"Bookman Old Style";color:navy'>Secretary:
902 867-3972, </span></font></i></em><o:p></o:p></p>
<p class=MsoNormal><em><i><font size=2 color=navy face="Bookman Old Style"><span
style='font-size:10.0pt;font-family:"Bookman Old Style";color:navy'>FAX:
902 867-3302</span></font></i></em><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>