The University of Waterloo and McMaster University, Canada, are
seeking strong candidates to fill multiple Master's, Ph.D., and
postdoc positions on a new project. The joint project is on
model-based development of distributed real-time systems and
developing techniques for verifying their well-behavedness at
runtime. The principal investigators of the project are:|
Master's and Ph.D. students will conduct state-of-the-art research in the above areas. The postdocs will conduct research and have the opportunity to work with a team of graduate students. University of Waterloo and McMaster University are top-tier universities in Canada. They are located in the greater Toronto area. To apply or for inquiries, please contact Prof. Borzoo Bonakdarpour (borzoo@xxxxxxxxxxxxxxx). The start date can be immediately after application acceptance.
-- Borzoo Bonakdarpour, Research Assistant Professor School of Computer Science, University of Waterloo 200 University Ave. West, Waterloo, ON, N2L 3G1, Canada Tel: +1 519-888-4567 x 31851 Fax: +1 519-746-3077 Email: borzoo@xxxxxxxxxxxxxxx Web: http://www.cs.uwaterloo.ca/~bbonakda