[TYPES/announce] PhD positions in Nottingham

Venanzio Capretta venanzio at duplavis.com
Wed Jan 1 09:13:38 EST 2014


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,
   type theory, category theory, lambda calculus, quantum computing.

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

   Graham Hutton - program construction and verification,
   category theory, recursion operators, coinductive types.

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

Best wishes,

Venanzio

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

              10 Fully-Funded PhD Studentships

                  School of Computer Science
                 University of Nottingham, UK

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 2014.

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,726 per year and tuition fees, and are available to
students of any nationality.  Applicants are normally expected
to have a first-class Undergraduate or Masters degree in
Computer Science or a related discipline, and should discuss
their interest and obtain the support of a potential
supervisor in the School before applying.

To apply, please submit the following items by email to
<Christine.Fletcher <at> nottingham.ac.uk>: (1) a brief covering
letter that describes your reasons for wishing to pursue a
PhD, any ideas you have regarding possible areas or topics,
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: 10th January 2014

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

-- 
Venanzio Capretta
http://www.duplavis.com/venanzio/

School of Computer Science
University of Nottingham
Jubilee Campus, Wollaton Road
Nottingham NG8 1BB, UK



More information about the Types-announce mailing list