coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD scholarship on foundations of meta-programming

From: Martin Berger <M.F.Berger AT sussex.ac.uk>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>, "cl-isabelle-users AT lists.cam.ac.uk" <cl-isabelle-users AT lists.cam.ac.uk>, "logic AT math.uni-bonn.de" <logic AT math.uni-bonn.de>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "moca-announce AT list.it.uu.se" <moca-announce AT list.it.uu.se>
Subject: [Coq-Club] PhD scholarship on foundations of meta-programming
Date: Mon, 14 Dec 2015 13:10:51 +0000
Accept-language: en-US, en-GB
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=M.F.Berger AT sussex.ac.uk; spf=Pass smtp.mailfrom=M.F.Berger AT sussex.ac.uk; spf=None smtp.helo=postmaster AT chip.uscs.susx.ac.uk
Ironport-phdr: 9a23:UKYbwxzfXSF37QXXCy+O+j09IxM/srCxBDY+r6Qd1useIJqq85mqBkHD//Il1AaPBtWFraocw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwudrqzQtaapv/0/t7x0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY/jtKJkpm5bvOtk/MpdW437eb45RPpWFn5uZ2sy/YjgsQTJZQqJ/HoVFGsMxF4ASQPBqRDhV538ti/38/dm1TOBFcn3VqwvHz+r6uFiQ1n1i21PYzU9tWDMg8Z9iKZW5Q+6qgZk64rVe52OcvF3e+XUdpUHRjwFFoxVUCNACau5ZpcPSfcHPKNSqI/74VcD51PqAQ6jBejHzzZUhjnr26x/2eMnF0fK0VpkV5gSoWzZt5D8MqEVTOa+wYHMzC7fdLVN1D7mrpXQfxYn5/yAQPg4JdbA0UQ0UgrDiFKNr4foFzeUzfgW9XOW5vEmSPqijWhhpg1s9HznjMIrgYCMj4QTzU3C/ihRxIcuOZu5VAhmfJi/HdEY4ySdPIIzS8UkRHxusysSzrwdpdi6YG4X1dI8ykiMReaAdt2t6wj/VeDZCzpii39/MOaawTj020W6xeDmftKpy01HvmxMmZ/RtSZehFTo9sGbR64lrQ+a0jGV2lWL5w==

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.

[Coq-Club] PhD scholarship on foundations of meta-programming, Martin Berger, 12/14/2015