[Agda] PhD scholarship on foundations of meta-programming

[Martin Berger]

I apologise if you get this message multiple times.

   ------

Applications are invited for a fully funded PhD studentship in the
Department of Informatics at the University of Sussex, starting in
October 2016.

The topic of the studentship is to develop the foundations of
meta-programming, and extending our understanding of how to specify
and verify meta-programs, in terms of theoretical understanding,
implementation and tooling. For further details, see

  http://www.jobs.ac.uk/job/AMO053/foundations-of-meta-programming

or contact Martin Berger <M.F.Berger at sussex.ac.uk>.

The Scholarship normally includes a three year stipend at a standard
rate (currently £14057 per annum) and, in addition, fees as follows:
(a) for Home/EU applicants, full fees; (b) overseas applicants, a
contribution of up to £12000 towards overseas fees, depending on
qualifications.  The studentship is available to students of any
nationality.

Applicants are normally expected to have a first-class Masters or
Bachelors degree in Computer Science, Mathematics or a related
discipline, and must obtain the support of the supervisor prior to
submitting their application.  Initial contact with supervisors should
be made at least two weeks prior to the closing date for applications.

For details about funding and the application procedure
contact Luke Scott <L.Scott at sussex.ac.uk>.

Closing date for applications is 4th January 2016.