Logic List Mailing Archive

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.

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