Postdoc opportnity: Verification of Timed Workflow

[Wendy MacCaull]

 High Performance Computing Methods for Verification of Timed Compensable Workflows

This is a two-year post doctoral position to develop and apply distributed and parallel computing methodology to the problem of formal verification.  The motivational problems involve modeling and verifying workflow systems using an innovative workflow management framework developed in our centre. Ideally the candidate will demonstrate proficiency in high performance computing methodologies with good knowledge in formal verification methods including model checking and automated theorem proving. Case studies will involve very large workflows for community-based health care programs. The candidate will have the opportunity to work with researchers and graduate students in a large interdisciplinary R&D project led by Dr. Wendy MacCaull, at StFX University in Antigonish, Nova Scotia, carried out in collaboration with industry partners and the local health authority (see www.logic.stfx.ca).
This position is partially supported by the ACEnet (Atlantic Computational Excellence Network see www.ace-net.ca)  Research Fellowships Program and by ACOA through the Atlantic Innovation Fund.
Qualifications:
-           PhD in Computer Science; and a strong background in formal methods or related area;
-           Ability to conduct high quality research and to implement to evaluate results;
-           Commitment to work on applied problems;
-           Ability to present information in English clearly, both in verbal and written formats;
-           Ability to work with a team.
Salary: $43,000 per year (plus a funding allowance for conference presentations). Second year funding is contingent on satisfactory performance during the first year.
To apply: Send (1) a 1 page cover letter briefly describing how your education and experience fit the requirements of this position; (2) a detailed CV with descriptions of previous research projects and applied experience; (3) names and contact information for 3 references (names, addresses, e-mail addresses and phone numbers); (4) copies of recent publications,  to Wendy MacCaull at wmaccaul at stfx.ca. Use the subject: HPC Verification Methods for Timed Workflow- Rnd 3. Review of the applications will begin on October 12, with the goal of having the researcher in place on or before the New Year.


Wendy MacCaull, PhD,
Professor, Mathematics, Statistics & Computer Science,
Director, StFX Centre of Logic and Information,
St. Francis Xavier University,
Antigonish, NS, Canada, B2G 2W5
Tel: 902 867 3989
FAX: 902 867 1397


Information is this e-mail is confidential and meant only for the addressee.  Please do not circulate it without prior permission.

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