MSc Funding --- Formal Methods

[Wendy MacCaull]

MSc Funding --- Formal Methods

Applications are invited from students interested in pursuing an MSc in Computer Science, at St. Francis Xavier University (Canada) under the direction of Dr. Wendy MacCaull, in the areas of Model Checking/Verification, Automated Theorem Proving, Model Driven Development and Ontology Development and Reasoning. Three highly motivated students holding a BSc with an Honours in Computer Science or equivalent are sought to join the group at the StFX Centre for Logic and Information (www.logic.stfx.ca) starting in Sept. 2011.  Case studies for the research will focus on a multi-year R&D project with applications to the health care sector. Students will have the opportunity to interact with the Centre's industry partners and collaborators from the health care sector.
Interested students should first e-mail (1) a CV with the names of 3 references, (2) a statement of Research Experience and Interests, and (3) any Publications and (4) a university transcript to Janet Norgrove (jnorgrove at stfx.ca). Use MSc in CS 2011 as a subject heading.  Funding to cover the cost of tuition and a living allowance will be provided to the successful candidates.


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/20110114/9104c925/attachment.html>