Implementation of a dependently-typed programming language based on a verified core language.The fellow will be a member of our Functional Programming Laboratory and will work under the supervision of Dr Thomas Anberree in China, Dr Thorsten Altenkirch in Nottingham. In the first instance interested candidates should direct informal enquiries to Thomas Anberree as soon as possible in order to put forward a Marie Curie Fellowship application. The University of Nottingham has an excellent track record with a high rate of successful applications and provides strong support in the application process. The appointment will be expected to begin around January 2012. UNNC can offer many of the support facilities which are on offer at the University of Nottingham in the United Kingdom. This is an ideal opportunity for the candidate to spend 12 to 24 months living and working in China, before returning to their home University.