[Agda] PhD positions in Nottingham

[Altenkirch Thorsten]

Hi,

we are advertising 10 PhD positions in Nottingham, home of the
Functional Programming Lab. Students who are interested in dependent
types and related topics (such as formal proofs, categorical semantics,
homotopy type theory, implementations of dtp languages, real world
applications of dtp) are encouraged to apply.

Please forward to interested students!

Thorsten


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

             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<mailto: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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20131202/54ec3c89/attachment.html