+++++++++++++++++++++++++++++++++++++++ PhD studentship at Newcastle University (UK) in Asynchronous Circuit Synthesis and Verification
A semiconductor company is offering us a PhD studentship to support research in design automation for asynchronous circuits, with particular interest in synthesis and verification. We are looking for an individual with strong interest and abilities to develop algorithms for logic synthesis, model checking and effective visualization, and not being averse to work in both digital and analogue circuit domains. A pre-requisite is a strong MSc or undergraduate degree in Computer Science and/or Electronic Engineering. The studentship will cover both stipend and tuition fees, for three years, starting in the first half of 2014, or as soon as the most suitable candidate is found. Interested candidates should contact Professor Alex Yakovlev via email: [email protected] For our microSystems Group's research profile: http://www.ncl.ac.uk/eee/research/groups/micro/ and http://async.org.uk/ +++++++++++++++++++++++++++++++++++++++ ---- [[ 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] ]]
