PhD Vacancy

Tampere University of Technology (TUT), Findland, is now seeking PhD candidates to fill several positions in the field of architecture and different branches of engineering. 13 PhD positions are available. The positions will be filled for a fixed-term period of three years, from 1 September, 2011 onwards. During this time, the PhD students will undertake [...]

PhD research assistantships are available in a new project focusing on formal methods for specifying and verifying cyber-physical systems at the architectural level. Themes in this research include: developing architectural abstractions to manage relationships among heterogeneous models typically developed for cyber-physical systems; formal methods for verifying structural and semantic consistency between different architectural views corresponding [...]