The Software Engineering & Architecture (SEARCH) group at the University of Groningen is committed to advancing the state of the art in the field of software architecture. The group aims to achieve that by carrying out joint research projects with universities, research institutes, and industrial partners, thus combining academic know-how with industrial practice. The research topics of the SEARCH group include software architecture design and evaluation, architectural knowledge, software product lines, architectural patterns and pattern languages, architecture-centric evolution, and service-oriented architectures. For more information please check our website (http://search.cs.rug.nl/ and http://www.cs.rug.nl/~paris/) or email us (paris[ AT ]cs.rug.nl).

The SEARCH group is looking for excellent candidates that wish to apply for scholarships from the Faculty of Mathematics and Natural Sciences. Prospective PhD students have substantial freedom in deciding upon their research. They may work on one of the group’s existing research projects or submit their own research proposal, in coordination with the group head.

PhD Scholarships in Software Engineering, University of Groningen, The Netherlands … read more »

At least six scholarships are available for foreign students to enroll in the newly created Master’s of Software Engineering at University of Tartu, Estonia, This program will be jointly offered by Estonia’s two major universities: University of Tartu and Tallinn University of Technology.

In addition to a strong foundation in software engineering methods, this 2-years program will offer two specialisations: Enterprise Software and Embedded Real-Time Software. The program also includes professional internship opportunities. The language of instruction is English and the program is taught primarily by professors with international experience.

Master Scholarships in Software Engineering, University of Tartu, Estonia … read more »

Project title:
Probabilistic Verification and Model-Based Quality Evaluation

Research topic:
Model Based Development (MBD) has established itself as the key approach to software engineering of increasingly complex systems in automotive and aerospace domains. It has proved successful at managing complexity associated with functionality. A new approach is to use model-based techniques also for quality evaluation and predictions. Since most of quality attributes such as performance, reliability, availability, safety, and security have a probabilistic nature, probabilistic verification techniques are the best solution to perform model-based quality evaluation. The research project shall explore the possibilities of probabilistic modelling and verification techniques to reason about quality attributes early in the software development lifecycle. To get a detailed introduction into this research project please have a look at the following background literature:

• Controller dependability analysis by probabilistic model checking
  (http://dx.doi.org/10.1016/j.conengprac.2006.07.003)
• Quantitative risk-based security prediction for component-based systems with explicitly modeled attack profiles
  (http://dx.doi.org/10.1016/j.jss.2007.11.716)
• Early quality prediction of component-based systems – A generic framework (http://dx.doi.org/10.1016/j.jss.2006.08.014)

Software Engineering Research Project (Probabilistic Verification and Model-Based Quality Evaluation), Swinburne University of Technology, Australia … read more »