[ecoop-info] RA post at the University of Sheffield, UK

[Kirill Bogdanov]

Post-Doc Research Associate, up to 15 months.

Department of Computer Science, The University of Sheffield.

The post holder will work in a team with another post-doc on an 
EPSRC-funded project ‘Automated abstraction of code into a state-based 
specification and test generation’. One of the aims of the project is 
the development of methods for automated abstraction of Java/C++ code 
into partial X-machine specifications, using hints from a developer as a 
guide. On one extreme, these ‘hints’ can take a form of formal mappings 
taking a lot of work from a developer, on the other, without any hints, 
it is not even possible to determine the part of code to build a model 
from. For this reason, the main duty of the research assistant is to (a) 
identify practically-useful hints and (b) implement a tool to use them 
in order to construct a model of a program and perform test generation 
from this model.

More information is at
http://www.dcs.shef.ac.uk/~kirill/autoabstract.html

Candidates should hold a PhD (awarded or expected) in a relevant area
and have an expertise in one or more of the following areas: (a)
state-based systems, such as X-machines, Extended Finite-State
Machines or Abstract State Machines, (b) testing techniques for 
state-based systems, (c) program analysis/model-checking techniques. 
Also required experience in writing software in a variety of languages; 
analytic, presentational and communication skills; effective 
interpersonal skills; ability to work effectively within the research 
team; proven capacity to work to and meet deadlines.

The post is available until Oct 2008 with a flexible starting date and 
up to around 15 months duration.

The post will be officially advertised soon, until then feel free to 
contact me if interested.

-- 
Kirill.

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