[ecoop-info] Post-doc position at the University of Sheffield, UK

[Kirill Bogdanov]

Apologies if you receive this more than once.

A Post-doc Research Associate is open at the University of Sheffield, UK 
in the area of model inference and test generation for formal 
verification of autonomous systems. The work will focus on running 
simulations of autonomous agents and automated inference of properties 
of these agents.

This is a collaborative project between the Department of Computer 
Science and Department of Automatic Control and Systems Engineering.

The work is aimed at learning of the behaviour and verification of 
systems of autonomous agents. The successful candidate will conduct a 
detailed literature survey on the formal verification and certification 
for autonomous robotics. He/she will also simulate collaborating 
robots/vehicles and investigate the properties of the collaborating
vehicles which make verification/testing easier or harder.

Applicants should have completed or be near completion of a PhD in 
computer science, control, autonomous systems or a related discipline 
(or have equivalent experience) and experience of one or more of the 
following areas: state-based software modelling, large-scale 
simulations, reverse-engineering, finite state machine-based test 
generation, autonomous systems, co-operative robotics.

The post is fixed-term from early January 2012 until 30 June 2012.

Due to the short-term nature of the project, the University will not be 
able to sponsor UK work permits.
Informal enquiries to Kirill Bogdanov , K.Bogdanov at dcs.shef.ac.uk
Formal applications to the University of Sheffield, job reference number 
UOS003762.

-- 
Kirill.

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