DTC CS 15 - Computing with Infinite Data - logical methods for the specification and extraction of formally verified algorithms for infinite data
Infinite or virtually infinite data occur naturally when processing very large data sets or exact real numbers, and computing with such data poses many theoretical and practical challenges. Computing with Infinite Data (CID,http://cordis.europa.eu/project/rcn/207017_en.html, http://www.cs.swansea.ac.uk/theory/index.php/cid/) is a four year Horizon 2020 project, which started in April 2017, that provides the opportunity for a PhD student to spend several months abroad in order to facilitate research and knowledge exchange in that area. The proposed research will focus on logical methods for the specification and extraction of formally verified algorithms for infinite data.
Candidates must have a minimum of an upper second class honours degree or equivalent in a relevant subject, or an appropriate Master’s degree (with Merit). Informal enquiries are welcome by emailing the project supervisor.
For candidates whose first language is not English, we require IELTS 6.5 (with 6.0 in each component) or equivalent. Please visit our website for a list of acceptable English language tests. We prefer candidates to have already met the English Language requirements at the point of application, although this is not a requirement.
How to apply
Visit our webpage for details - http://www.swansea.ac.uk/science/research/dtc/biosciences-projects-2018-19/
Please include the project ID and title in your email subject header (eg. DTC CS xxxxxx)
Student Finance England have announced plans to offer student loans for PhD level courses from September 2018 for courses at any PhD awarding university (including Swansea University). Full details are still to be confirmed. Visit our website for updated information. – http://www.swansea.ac.uk/postgraduate/fees-and-funding/pg-loans/