We are looking to fill a 43 months Postdoctoral Research Associate position on Energy Efficient Control at the University of Liverpool.
We are seeking an enthusiastic PostDoc to work on the EPSRC project Energy Efficient Control with Sven Schewe and Dominik Wojtczak. The project is in collaboration with Atrenta Inc., a world-leading supplier of innovative software tools addressing early stage IC & system design, and the University of Edinburgh. You will be part of a vibrant team, which also includes a number of PhD students and many international visitors.
You will enjoy developing theories, algorithms, and tools for the evaluation and improvement of the energy efficiency of circuits. The position includes collaboration with our partners, including research visits to Atrenta (Grenoble, France) and Edinburgh.
You should have, or be about to obtain, a PhD in Computer Science or a closely related area together with an excellent track record of international publications in theoretical computer science, software engineering, automata and game theory, and/or tool development. Examples of fields of interests are:
– Verification tools
– Model checking algorithms
– Evaluation of finite games of infinite duration (e.g., strategy improvement)
– Relevant AI techniques
Closing date for receipt of applications is Thursday, 23 July 2015 at 5pm BST.