Logic List Mailing Archive

MSc Research Positions in Computer Science: Lennoxville (Canada)

MSc RESEARCH POSITIONS
                    DEPARTMENT OF COMPUTER SCIENCE
              BISHOP'S UNIVERSITY AT LENNOXVILLE, CANADA

Department of Computer Science <http://www.cs.ubishops.ca> at Bishop's
University has started to accept applications for its new MSc
programme.  First registration will take place in this term, and
applications are accepted for registration in each subsequent terms.
Application procedure and other relevant information can be found
following the appropriate link from the departmental Web page.

I am in particular seeking students to work under my supervision.  My
main research interest is real-time computations, from three
perspectives: complexity-theoretic, formal methods and testing, and
systems. The first two perspectives are broadly open, I welcome
qualified students interested on the matter and we shall then discuss
the concrete topic of research for the programme. The latter
perspective (systems) is narrower, and involves at this time
distributed programming language issues. It requires from the students
good programming skills in C++ and familiarity with or willingness to
learn POSIX programming in a Unix environment.

I might also accept students with interests in parallel computation
(algorithms and complexity specifically) as well as in the general
area of complexity theory. Such students will need to contact me
before applying to be sure of my willingness to supervize them.

I offer full financial support to qualified students.

I would be glad to provide further information upon request, so feel
free to contact me should you have any question.

Stefan

-- 
Stefan D. Bruda, Assistant Professor
Department of Computer Science, Bishop's University
Lennoxville, Quebec J1M 1Z7, Canada
Phone: (819) 822-9600 ext. 2374, Fax: (819) 822-9661
http://turing.ubishops.ca/, bruda (at) cs (dot) ubishops (dot) ca
PGP public key: http://turing.ubishops.ca/home/bruda/pgp.txt
* Recursive, adj.; see Recursive.