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, [email protected]
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
