Post doc position in Verification

[Wendy MacCaull]

The Centre for Logic and Information at St. Francis Xavier University,
Antigonish, Canada, has a post doctoral position open for research in
Logic and Computer Science.  The position forms part of a 5 year
University/Industry collaborative project in modeling and reasoning
about dynamically changing processes directed by Wendy MacCaull.

 

The successful candidate is expected to do research in automated
verification. The project involves modeling and verifying intelligent
and adaptive workflow processes with particular reference to processes
that require run time monitoring and, by their nature, are highly
variable. 

  

Candidates must have a strong logic background, as demonstrated by their
doctoral research and publications in journals and presentations at
international conferences.  Their thesis should be successfully defended
before they can assume the position. The candidate will have the
opportunity to work in an interdisciplinary setting involving an
industry partner and members from the health care domain, for which
applications are intended.  Experience in high performance computing
methodologies is an asset.

 

Duration: Funding is intended for 2 years with second year funding
dependent upon satisfactory performance during the first year.

 

Starting date: is as soon as possible; at the latest, June 2009.

 

Salary:  The candidate will receive a salary of $40,000 Canadian per
year with an additional conference travel allowance of up to $4,000 per
year.  The position may include minor teaching duties in an appropriate
undergraduate course.

 

Other members of the research team are involved in modeling and
verifying processes, knowledge representation and reasoning,
paraconsistent and nonclassical logics, ontologies for intelligent
processes and high performance computing methodologies for verification.
More information about the position and the project can be obtained from
Wendy MacCaull (wmaccaul at stfx.ca); interested applicants can visit the
website www.logic.stfx.ca and follow the links there.

 

Applications should include:

 

A statement of research interests and/or draft research proposal

A detailed CV including a list of publications

Sample publications

Three letters of Reference (send directly to the address below), one
from the PhD Supervisor 

Application material should be sent to Janet Norgrove at
jnorgrove at stfx.ca  by January 1, 2009.

 

 

 

 

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