[DMANET] PhD in Advanced Algorithms and Formal Methods for the Design of New Materials

PhD Studentship 2017 (Leverhulme Research Centre for Functional Materials Design)
3.5 years (£14,296 pa in 2016/17)
Closing date for applications: 3rd March 2017

The Computer Science department of the University of Liverpool is offering the PhD
position on the topics of Advanced Algorithms and Formal Methods for the Design of New Materials.
https://www.liverpool.ac.uk/chemistry/postgraduate/postgraduate-opportunities/advanced-algorithms-and-formal-methods-for-the-design-of-new-materials/

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.

Eligibility:
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.

Supervisors: Prof P Spirakis, Prof P Krysta, Dr I Potapov
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.

Starting: October 2017

Closing date for applications: 3rd March 2017
Informal enquiries should be addressed to Prof Paul Spirakis < P.Spirakis@liverpool.ac.uk >
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* 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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************