PhD scholarship on foundations of meta-programming


#1

The following might be of interest to some members of the Rust community, as Rust takes meta-programming seriously. 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@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.

Closing date for applications is 4th January 2016.