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

[Rokan Uddin Faruqui]

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. 
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; 
	* Desire and commitment to work on applied problems in an 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 presentations). 
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. 



 ---------------------------------------
Md. Rokan Uddin Faruqui
Assistant Professor
Dept. of Computer Science & Engineering
University of Chittagong
Chittagong-4331
E-mail: rufaruqui at cu.ac.bd
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20111219/16edae94/attachment.html>