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,
Graham
+-----------------------------------------------------------+
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.fletc...@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
+-----------------------------------------------------------+
--
Prof Graham Hutton
Functional Programming Lab
School of Computer Science
University of Nottingham, UK
http://www.cs.nott.ac.uk/~gmh
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.
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
