[Haskell] 7 PhD studentships in Nottingham

Graham Hutton Graham.Hutton at nottingham.ac.uk
Tue Feb 24 09:06:46 UTC 2015


Dear all,

The School of Computer Science in Nottingham is advertising 7
fully-funded PhD studentships for "home" students (or EU students
who have been ordinarily resident in the UK for 3 years prior to
the start of the programme).  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:

 Venanzio Capretta - type theory, mathematical logic, corecursive
 structures, proof assistants, dependently-typed programming.

 Henrik Nilsson - functional reactive programming, modelling and
 simulation, domain-specific languages, probabilistic languages.

 Thorsten Altenkirch and Graham Hutton - not planning to take
 on any further new PhD students this year.

Best wishes,

Graham

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

             7 Fully-Funded PhD Studentships

                School of Computer Science
               University of Nottingham, UK

http://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI1433

Applications are invited for up to 7 fully-funded PhD
studentships for "home" students (or EU students who have
been ordinarily resident in the UK for 3 years prior to the
start of the programme) 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, include a stipend of
£13,863 per year and tuition fees, and are available to
students who qualify as "home" applicants in terms of their
fee status.  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.

Applications should be submitted via the postgraduate applications
website: http://www.nottingham.ac.uk/pgstudy/apply/apply-online.aspx.
As part of your personal statement, please include an outline
research proposal (max 1 page).  Informal enquiries may be
addressed to Christine.Fletcher at nottingham.ac.uk.

Closing date for applications: Tuesday 31st March 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.



More information about the Haskell mailing list