Postdoc position

[Wendy MacCaull]

Please post the following:

 

 

            

 PostDoc Position at St. Francis Xavier University in Parallel Methods
for Verification 

 

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. The successful applicant will be part of the newly
established Centre for Logic and Information at StFX, and have the
opportunity to work with computer scientists and software engineers both
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 <http://www.ace-net.ca/>  ). 

 

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.

 

Funding: The salary is $40,000 per year, plus benefits, plus a research
allowance of 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 (somewhat negotiable). The
file will remain open until filled. Those interested in applying can
contact Dr. MacCaull at wmaccaul at stfx.ca for 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

 

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20070704/55007ff4/attachment.html>