Functional Programming Laboratory PhD

 
  

Fact file

Qualification
PhD Functional Programming Laboratory
Duration
Various
Entry requirements
2:1 (or international equivalent) in computer science or other relevant area.
IELTS
6.5 (with no less than 6.0 in any element) If these grades are not met, English preparatory courses are available
Campus
Jubilee
School/department
Other requirements

Research overview

The Functional Programming Lab (FP Lab) aims to develop simple but powerful techniques for writing and reasoning about programs, by recognising and exploiting their underlying mathematical structure. Most of our work takes place within the context of functional languages such as Haskell and Agda, which are at the forefront of programming language research, and provide ideal vehicles for research of this nature.

Our research spans a range of topics in the area of functional programming, including category theory, corecursive structures, compiler correctness, declarative debugging, hybrid modelling, reactive programming, mathematical logic, program optimisation, program transformation, proof assistants, quantum computing, and type theory.

We offer a number of interesting PhD projects in the FP Lab and an excellent working environment. We organize a weekly informal lunch meeting, regular seminars and thematic meetings and annual away days.

 

Facilities

The school’s programme of research welcomes applications from students who wish to pursue the award of PhD by full-time or part-time study. Research students come to the school from within the UK as well as from around the globe, including the EU, the Middle and Far East, Latin America, Africa and South Asia. With this diversity of cultural and disciplinary backgrounds, our students constitute a rich, rewarding and supportive postgraduate research community within The University of Nottingham’s UK, Malaysia and Ningbo China campuses. For a richer global experience, it is possible for joint supervision to be agreed between the UK and one of the University’s international campuses.

A small number of EPSRC awards are available for suitably qualified candidates. All research students are involved in the Postgraduate Professional Development Programme. The school's energetic research culture also involves a programme of visiting speakers and regular symposia organised by staff and students.

The school offers research students:

  • advanced research training
  • expert supervision (from staff who are global leaders within their field)
  • support and help with publishing research 
  • school research seminars/work in progress sessions 
  • access to a dedicated research director, whose role links into the school’s PG research learning community forum and research committee 
  • well-equipped work bases, with excellent library facilities and some dedicated research based spaces such as the robotics and mixed reality laboratories
  • support for research trips and conference attendance
  • library facilities and online resources provide a level of access to material that students could only expect in a research-intensive university
  • excellent IT facilities including high-speed networking, in-house servers and specialist school technical services staff.
 

Research support

A number of University support services exist to assist you during your time at Nottingham and beyond. The Postgraduate Students' Association

(PGSA) are a particularly important source of support.

 

Find a supervisor

We encourage you to get in touch with a member of academic staff about your research proposal before submitting an application. They may be able to help you with your proposal and offer support to find funding opportunities in your area. Details of research supervisors at the University can be found on our research A to Z.

 

Funding

UK/EU Students

The University Graduate School operates two schemes of its own to help support current postgraduate research. The Graduate School Travel Prize and Universitas21 funding. For prospective students the University has introduced a new funding database. The Graduate School also holds a list of other sources of funding. Studentship opportunities are also available.   

International and EU students

The University of Nottingham offers a range of research scholarships for outstanding international and EU students.

Applicants must receive an offer of study before applying for our scholarships. Please note the closing dates of any scholarships you are interested in and make sure you submit your research course application in good time so that you have the opportunity to apply for them.

The International Office also provides information and advice for international and EU students on financing your degree, living costs, external sources of funding and working during your studies.

Find out more on our scholarships, fees and finance webpages for international applicants.

 
 

Careers

Visit the school website for additional opportunities.

Average starting salary and career progression

In 2016, 95% of postgraduates from the School of Computer Science who were available for employment had secured work or further study within six months of graduation. The average starting salary was £27,550 with the highest being £40,000.*

*Known destinations of full-time home postgraduates 2015/16. Salaries are calculated based on the median of those in full-time paid employment within the UK.

Career prospects and employability

The University of Nottingham is consistently named as one of the most targeted universities by Britain’s leading graduate employers* and can offer you a head-start when it comes to your career.

Our Careers and Employability Service offers a range of services including advice sessions, employer events, recruitment fairs and skills workshops – and once you have graduated, you will have access to the service for life. 

* The Graduate Market 2013-2016, High Fliers Research

 
 
 
functional-programming-laboratory-phd
Apply for this course

Get in touch

+44 (0)115 84 66516/
+44 (0)115 95 14220
 
Science videos
Explore it - Virtual Nottingham

Disclaimer
This online prospectus has been drafted in advance of the academic year to which it applies. Every effort has been made to ensure that the information is accurate at the time of publishing, but changes (for example to course content) are likely to occur given the interval between publishing and commencement of the course. It is therefore very important to check this website for any updates before you apply for the course where there has been an interval between you reading this website and applying.

Professor Graham Hutton/
Dr Thorsten Altenkirch 

Student Recruitment Enquiries Centre

The University of Nottingham
King's Meadow Campus
Lenton Lane
Nottingham, NG7 2NR

t: +44 (0) 115 951 5559
f: +44 (0) 115 951 5812
w: Frequently asked questions
Make an enquiry