[ecoop-info] Post-doc position in reverse-engineering for test generation (Sheffield, UK)

Kirill Bogdanov K.Bogdanov at dcs.shef.ac.uk
Fri Oct 29 19:30:05 CEST 2010

Apologies if you receive this multiple times;
please circulate to anyone who you think might be interested.

The position is available immediately and is fixed-term until 30 
September 2012.
Salary: £28,139 to £29,853 per annum.
Closing date for applications: 25th November 2010.

This post offers an excellent opportunity to work on the European Union 
(EU) funded project ProTest (Property based Testing) and the Engineering 
and Physical Science Research Centre (EPSRC) funded project REGI 
(Reverse Engineering State Machine Hierarchies by Grammar Inference). 
ProTest aims to develop software engineering approaches to improve the 
reliability of service-oriented networks with the specific aim of 
building automated tools that will generate and run tests and support 
fault-finding based on specified properties of the system. To support 
both test generation and analysis of systems, REGI seeks to develop 
approaches to reverse engineering state-based models and specifications 
from traces extracted from running systems. The tools developed so far 
have been successfully applied both to functional and concurrent 
software written in Erlang from the ProTest project collaborators, and 
imperative software written in Java. In this part of the project we seek 
to develop and enhance the range of our approaches and toolset.

Applicants should have a first degree and PhD in computer science (or 
have equivalent experience) as well as experience in one or more of the 
following areas: Reverse engineering, state-based software modelling, or 
finite state machine-based test generation.

More details:
click `Search and Apply for Jobs' link, enter job reference number 
UOS001909 and click `search'. Details will appear in a pop-up window.


* Dr. Kirill Bogdanov :					   *
* 			K.Bogdanov at dcs.shef.ac.uk	   *
* 			http://www.dcs.shef.ac.uk/~kirill  *

More information about the ecoop-info mailing list