Marie Curie Fellowships

The department of Computer Science at the University of Nottingham Ningbo China (UNNC) is keen to host Marie Curie Fellows . Candidates must have a PhD and preferably a few years of Post-Doctoral experience in the area of Functional Programming and Dependent Types Theory or other highly related area. Ideally, candidates will be citizens of a continental Europe country (i.e. a non-British European citizen), although British citizens may be considered. We are particularly seeking candidates to work on a new project,

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.