PhD scholarship on foundations of meta-programming

[Martin Berger]

The following announcement might be of interest to some members of the
Scala community since Scala has a strong research tradition in meta-
programming. 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.B...@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.S...@sussex.ac.uk>.

Closing date for applications is 4th January 2016.