The Division of Computer Science at the University of Nottingham Ningbo China has several openings for PhD studies. The PhD scholarships are funded (some fully funded and some partially funded) by the University of Nottingham for a period of three years. Students are expected to spend one year in China, one year in the UK and the final year in China, under the supervision of two co-supervisors, one on each Campus.
We are seeking to recruit candidates to work with us at the Functional Programming Laboratory, on a subject in relation to a new project:
Implementation of a dependently-typed programming language using a verified core-language.
The supervisors will be: Dr Thomas Anberree in China, Dr Thorsten Altenkirch in Nottingham.
Applicants should have a degree in Computer Science or a related discipline and a strong background in functional programming and foundations of mathematics. Previous interest in dependent type theory is desirable. Excellent communication skills and English are required. Interested candidates should make initial inquiries by email to Thomas Anberree and include a CV.
Dr Thomas Anberree
For PhD opportunities in other areas, please visit my colleagues pages:
Dr John Woodward (Machine Learning)
Dr Ruibin Bai (Computational Intelligence in Transport and Logistics)