[cmath] Post-doc opportunity

[Wendy MacCaull]

PostDoc Position in Parallel Computing and Formal Verification

 

            

      Applications are invited for a PostDoc at St. Francis Xavier
University 

 

Supervisor: Dr. Wendy MacCaull, Professor of Mathematics, Statistics and
Computer Science.

 

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.

 

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.

 

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 ). 

 

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. 

 

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 at stfx.ca for further details.

 

 

Wendy MacCaull, PhD,

Professor, Dept. Math/Stats/CompSci,

Director, Laboratory for Logic and Computation,

St. Francis Xavier University,

Antigonish, NS, B2G 2W5, Canada,

Phone:       902 867-3989, 

Secretary:  902 867-3972, 

FAX:          902 867-3302

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mail.cms.math.ca/pipermail/cmath/attachments/20070709/77056e3a/attachment.htm