Postdoctoral research fellowship in verification, Warwick (U.K.)

Applications are invited for a postdoctoral position at the Department of Computer Science of tbe University of Warwick, 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.

Deadline: Thursday 24 January 2013 (midnight, British time). The official advert can be found at http://www.jobs.ac.uk/job/AFS125/research-fellow/. The post is available immediately.