[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Multiple Ph.D. and Postdoc Positions - Waterloo/McMaster Universities

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:
  • Prof. Borzoo Bonakdarpour, School of Computer Science, University of Waterloo
  • Prof. Sebastian Fischmeister, Department of Electrical and Computer Engineering, University of Waterloo
  • Prof. Tom Maibaum, Department of Computing and Software, McMaster University
The central aim of the project is to develop a new framework for automated and correct-by-construction implementation of complex systems. In particular, we target distributed and real-time applications. We will develop algorithms that take an abstract model of a system (e.g., in process algebras, Simulink, etc) as input and generate executable code as output through a sequence of transformations, each preserving functional properties of the input model. Other aspects of the project include augmenting models with extra functional properties, such as runtime monitoring and fault tolerance. The research activities of the project will range over a wide spectrum of areas, from automated formal methods, logics of fault tolerance and real-time modelling and complexity theory to systems research, such as performance analysis, and tool development.

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