PostDoc position in Verification (Energy Efficient Control)

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
– Synthesis
– 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.

For inquiries, please contact Sven Schewe ( or Dominik Wojtczak (

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s