PhD student position on SAT/SMT-based verification techniques, Newcastle (U.K.)

One PhD position is available with Dr. Paolo Zuliani at Newcastle University to work on SAT/SMT-based verification techniques for cyber-physical systems. The position is part of a research project with Carnegie Mellon University (USA) funded by the Office of Naval Research, and it covers stipend (14,790GBP per year) and tuition fees for three years.

This project is a collaborative effort between Carnegie Mellon University, Newcastle University, and Smart Information Flow Technologies. The Principal Investigator is Prof. Edmund M. Clarke, co-recipient of the 2007 ACM Turing Award. The project investigator at Newcastle is Dr. Paolo Zuliani.

Closing Date: 31st May 2013. The formal advertisement is at http://www.ncl.ac.uk/postgraduate/funding/search/list/cs040. For more information please see the project summary at https://sites.google.com/site/zupaolo/ONRsummary.pdf?attredirects=0 or contact Dr. Paolo Zuliani, paolo.zuliani at ncl.ac.uk.