Sunday, April 9, 2017

[DMANET] PhD Studentship - CS - University of Liverpool

Project Title: Advanced Algorithms and Formal Methods for the Design of New Materials

University of Liverpool
School of Electrical Engineering, Electronics and Computer Science

Supervisory team:

Prof. Paul G. Spirakis
Prof. Piotr Krysta
Dr. Othon Michail

The project shall focus on the so-called "Crystals Prediction Problem" aiming to predict stable and desirable new crystal structures, and will examine the Complexity of the problem and shall propose advanced algorithms (most possibly approximation techniques) for it. The problem itself is a very interesting case of non-convex optimization. The project shall examine formal methods suitable to the problem.

The candidate is expected to interact with computational chemists and also expected to be able to program some computations in high performance machines.

This PhD Studentship is part of The Leverhulme Centre for Functional Materials Design at the University of Liverpool. The Centre brings together chemical knowledge with state-of-the-art computer science to develop a new approach to the design of functional materials at the atomic scale. Addressing this core design challenge will help society tackle problems such as carbon emissions and clean energy supply, although the benefits are relevant to any sector that uses materials with atomic or molecular scale function.

Qualifications: A BSc degree in Computer Science with emphasis in Algorithms is required.
Some knowledge of Complexity is also required. An MSc in CS-Algorithms is optional.

Funding Notes

The award is primarily available to students resident in the UK/EU and will pay full tuition fees and a maintenance grant for 3.5 years (£14,296 pa in 2016/17). 

Non-EU nationals are not eligible for this position and applications from non-EU candidates will not be considered unless you have your own funding.

More information and link to online application can be found here:

The deadline for applying for this studentship is
Wednesday, May 31, 2017

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.