PhD studentship at Newcastle University (UK) in Design Tools for Distributed Finite State Machines
+++++++++++++++++++++++++++++++++++++++++++++++++++ A semiconductor company has offered us a PhD studentship to support research in design automation for asynchronous circuits, with particular interest on specification synthesis by behavioural mining and mapping FSMs into asynchronous circuits. We are looking for an individual with strong interest and abilities to develop algorithms for logic synthesis and optimisation, and not being averse to work in both digital and analog circuit domains. Good knowledge of Petri nets and asynchronous digital circuits would be a premium. Additionally, familiarity with analog circuits would be ideal. A pre-requisite is a strong MSc or undergraduate degree in Computer Science and/or Electronic Engineering. Candidates with Applied Mathematics or Physics degree, and good ability to program will also be considered. The studentship will cover both stipend and tuition fees, for three years, starting in the first quarter of 2018, or as soon as the most suitable candidate is found. Interested candidates should contact Professor Alex Yakovlev or Dr Danil Sokolov via email: [email protected] and [email protected] For our microSystems Group's research profile: http://www.ncl.ac.uk/engineering/research/eee/microsystems/ and http://async.org.uk/ ------------- Alex Yakovlev, FREng, CEng, FIET, FIEEE, DSc Professor of Computer Systems Design MicroSystems Research School of Engineering Newcastle University, 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] ]]
