Applications are invited for students interested in doing Masters in Computer Science with thesis research focusing on Verification and Automated Theorem Proving. Funds are available for a two year Research Fellowship and Research Assistantship totaling $14,000 per year, at St.Francis Xavier University, Antigonish, Canada, starting September 1, 2005. The stipend carries with it duties as a research assistant for approximately 6 hours a week. Knowledge of logic programming and familiarity with temporal logics and/or other nonclassical logics are assets. A Bachelor's degree in computer science (or a very closely related discipline) is required. The student will join the Logic and Computation Group (http://logic.stfx.ca <http://logic.stfx.ca/> ) at St.Francis Xavier. St.FX has a relatively new research-based graduate program where the student will benefit from working closely with research faculty. Please see the Logic and Computation webpage for the application form and information about the MSc at StFX. Interested students should contact Dr. Wendy MacCaull (wmaccaul@stfx.ca) for information regarding their application. 17-Jun-2005 17:22:03 -0300,3760;000000000001-00000014