Posted: 3rd March 2014

Are you a keen programmer who wants to contribute to open source software development? If so, you may be interested in contributing to the development of PRISM ( www.prismmodelchecker.org ), which has been selected to take part in the 2014 Google Summer of Code scheme for the second year.

Google Summer of Code is a global scheme that pays students (at undergrad, MSc or PhD level) to contribute to selected open source software projects. Students are paired with a mentor at the project, contribute code over a three-month period in the summer, and get paid 5500 USD by Google. This is a great way for students to get experience of real-world software development and find out more about possibilities for further study and employment in areas related to their academic studies. See http://www.google-melange.com/gsoc/document/show/gsoc_program/google/gsoc2014/help_page   for more details.

PRISM (see www.prismmodelchecker.org ) is a software tool for modelling and studying the behaviour of real-life systems whose behaviour exhibits unpredictability or randomness. It can be used to analyse everything from the reliability of distributed filing systems, to the performance of a Bluetooth-enabled wireless device, to the safety of a car's airbag control system. PRISM has been used by researchers worldwide in fields as diverse as quantum cryptography, systems biology, computer security and robotics. Development of PRISM is currently split between the University of Birmingham and the University of Oxford.

Interested? Take a look at our and project page and get in touch...  http://www.prismmodelchecker.org/gsoc/