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. ------------------------------------------------------------------------------ Master SQL Server Development, Administration, T-SQL, SSAS, SSIS, SSRS and more. Get SQL Server skills now (including 2012) with LearnDevNow - 200+ hours of step-by-step video tutorials by Microsoft MVPs and experts. SALE $99.99 this month only - learn more at: http://p.sf.net/sfu/learnmore_122512 _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
