[cmath] Please post the attached job ad

[Wendy MacCaull]

Skipped content of type multipart/alternative-------------- next part --------------
           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.