Postdoc at Warwick (automata and verification)

RESEARCH FELLOW
Department of Computer Science, University of Warwick

Duration: 24 months
Salary: £27,854 to £36,298 pa
Deadline: Thursday 24 January 2013 (midnight, British time)

Applications are invited for a postdoctoral position on a two-year
EPSRC-funded project in the area of semantics-based software
verification. We are looking for candidates with a strong background
in automata theory and/or program verification, who can contribute
to the design and implementation of verification procedures
involving automata over infinite alphabets.

The project will be led by Andrzej Murawski (University of Warwick)
in collaboration with Nikos Tzevelekos (Queen Mary, University of London).
Other members of the Department at Warwick working on related
topics include Marcin Jurdzinski, Sara Kalvala and Ranko Lazic.

The official advert can be found at

http://www.jobs.ac.uk/job/AFS125/research-fellow/

The post is available immediately.
Informal enquiries are very welcome.