Postdoc / PhD positions in Formal Methods at the Open University in Milton Keynes (UK)

Several three-year Postdoc and PhD positions are available at the Open University (UK) in Milton Keynes (near London) from 1st February 2009. The positions are part of an Integrated Project on "Security Engineering for lifelong Evolvable Systems (Secure Change)" funded by the European Union, within the programme "Future and Emerging Technologies" (FET) of the 7th Framework Programme (subject to contract).

Each position will focus on one of the following two topics:
* Requirements engineering techniques for security requirements of long-living evolvable systems; or
* Model-based security analysis techniques and tools for long-living evolvable systems based on UML.

Reactions received before Dec 8, 2008 will be considered fully. For more information, see http://mcs.open.ac.uk/jj2924/securechange or contact Dr. Jan Jurjens at j.jurjens at open.ac.uk