[TYPES/announce] Post-doc opportunity: Verification of Time Sensitive Safety Critical Systems using High Performance Computing

Hao Wang iswanghao at acm.org
Tue Dec 14 22:28:22 EST 2010

This is a two-year post doctoral position offering the successful candidate
opportunity to be at the forefront in developing technology for safety
critical systems
targeting health services delivery. The motivational problems involve
modeling and
verifying workflow systems using innovative workflow management frameworks.
studies will involve very large workflows for community-based health care
The candidate will have the opportunity to:

§ work with researchers and graduate students in a large interdisciplinary
project led by Dr. Wendy MacCaull, at StFX University in Antigonish, Nova
Scotia, (see www.logic.stfx.ca);

§ collaborate with our industry partners;

§ work closely with a variety of health care professionals;

§ collaborate and network with the Canadian Consortium in High Performance
Computing, and researchers at universities across Canada;

§ reside in a small town with an affordable lifestyle, close to beaches and
landscapes, with a thriving Academic and Arts community, in close proximity
hours) to a major metropolitan city.

This position is partially supported by the ACEnet (Atlantic Computational
Network see www.ace-net.ca) Research Fellowships Program and by ACOA through
Atlantic Innovation Fund.

Qualifications: - PhD in Computer Science and a strong background in formal
methods or
related area; knowledge and expertise in parallel and distributed computing
is an asset;

- Commitment to work on applied problems;

- Ability to present information in English clearly, both in verbal and
written formats;

- Enjoys working in a collaborative environment.

Salary: $43,000 per year (plus a funding allowance for conference
presentations). Second
year funding is contingent on satisfactory performance during the first

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
and phone numbers);

(4) copies of recent publications,

to Wendy MacCaull at wmaccaul at stfx.ca. Use the subject: Verification Methods
Workflow using HPC - Rnd 3. Review of the applications will begin
immediately; the

researcher must be in place by mid-March 2011.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20101215/e23c2fb8/attachment-0001.html>

More information about the Types-announce mailing list