PostDoc Position in
Parallel Computing and Formal Verification
Applications are invited for a PostDoc at
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@stfx.ca for further details.
Wendy
MacCaull, PhD,
Professor,
Dept. Math/Stats/CompSci,
Director,
Laboratory for Logic and Computation,
Antigonish,
Phone:
902 867-3989,
Secretary:
902 867-3972,
FAX:
902 867-3302