[TYPES/announce] 10 PhD studentships in Nottingham

[Graham Hutton]

Dear all,

The School of Computer Science in Nottingham is advertising 10
fully-funded PhD studentships.  Applicants in the area of the
Functional Programming lab (fp.cs.nott.ac.uk) are encouraged!
If you are interested in applying, please contact a potential
supervisor in the FP lab prior to submitting your application:

  Thorsten Altenkirch - constructive logic, proof assistants,
  homotopy type theory, category theory, lambda calculus.

  Venanzio Capretta - type theory, mathematical logic, corecursive
  structures, proof assistants, dependently-typed programming.
   
  Graham Hutton - not taking on any new students this year.
   
  Henrik Nilsson - functional reactive programming, modelling and
  simulation, domain-specific languages, probabilistic languages.

Best wishes,

Graham

+-----------------------------------------------------------+

             10 Fully-Funded PhD Studentships

                 School of Computer Science
                University of Nottingham, UK

                http://tinyurl.com/ten-phds

Applications are invited for up to ten fully-funded PhD
studentships in the School of Computer Science at the
University of Nottingham, starting on 1st October 2015.

The topics for the studentships are open, but should relate
to the interests of one of the School’s research groups:
Agents Lab; Automated Scheduling, Optimisation and Planning;
Computer Vision Lab; Functional Programming Lab; Intelligent
Modelling and Analysis; Mixed Reality Lab; Networked Systems.

The studentships are for three years and include a stipend
of £13,863 per year and tuition fees, and are available to
students of any nationality.  Applicants are normally
expected to have a first-class Masters or Bachelors degree
in Computer Science or a related discipline, and must obtain
the support of a potential supervisor in the School prior
to submitting their application.  Initial contact with
supervisors should be made at least two weeks prior to
the closing date for applications.  Informal enquiries may
be addressed to <Christine.Fletcher at nottingham.ac.uk>.

To apply, please submit the following items by email to
the above address: (1) a brief covering letter that describes
your reasons for wishing to pursue a PhD, your proposed
research area and topic, and the name of a potential
supervisor; (2) a copy of your CV, including your actual
or expected degree class(es), and results of all University
examinations; (3) an example of your technical writing,
such as a project report or dissertation; (4) contact
details for two academic referees.

Closing date for applications: 14th January 2015

+-----------------------------------------------------------+





This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it.   Please do not use, copy or disclose the information contained in this message or in any attachment.  Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham.

This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.