Dear all, Please consider referring the prospective candidates to the following PhD studentship.
Regards, Victor. ---------------------- EPSRC PhD Studentship in Computer Science Reference Code: CS018 Closing Date: 11th September 2011 Details: http://www.ncl.ac.uk/postgraduate/funding/search/list/cs018 Supervisor: Dr V Khomenko Sponsor: Engineering and Physical Sciences Research Council (EPSRC) Duration of the Award: 3 years Project Description Network-on-Chip (NoC) is an emerging paradigm for communication within large VLSI circuits. The interaction between the modules within a NoC is usually highly complicated. Thus, formal verification of the inter-module communication in NoCs is required to ensure that the system as a whole provides the desired functionality. The successful candidate will work on developing CAD tools for formal verification of NoCs. Value of the Award of Eligibility The studentship is funded by the EPSRC and their eligibility criteria (see http://www.epsrc.ac.uk/funding/students/pages/eligibility.aspx) will apply. The stipend is £14,490 (2010/11) per year. The studentship is not available for candidates from outside of the EU. ---- [[ 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] ]]
