[TYPES/announce] Post Doc Opportunity Verification of Time/Resource Sensitive Safety Critical Systems using HPC

Adrian Rutle aru at hib.no
Tue Dec 27 13:02:17 EST 2011

Post-doc opportunity: Verification of Time/Resource Sensitive Safety 
Critical Systems using High Performance Computing

This post doctoral position offers the successful candidate the 
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 ontology-driven workflow management frameworks. Case studies 
will involve very large workflows for community-based health care 
programs. This is a 1 year contract with the possibility of extensions.

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, (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 scenic landscapes, with a thriving Academic and Arts community, in 
close proximity (2 hours) to a major metropolitan city.

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.


- 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;

- Desire and commitment to work on applied problems in a high 
performance computing environment;

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

- Enjoys working in a collaborative environment.

Salary: $46,000 per year (plus a funding allowance for conference 

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 and Health Care. Review of the applications will begin on 
January 9th 2012, with a start date as soon as possible.

Adrian Rutle
Postdoctoral Research Fellow, StFX University, Canada

More information about the Types-announce mailing list