Logic List Mailing Archive

PhD student position in dependent type theory, Brighton (England), Deadline: 23 Feb 2015

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

The topics for the studentship is: dependent types for concurrent
processes.  That involved combining two major research traditions in
type theory: (1) dependent type-theories a la Martin-Loef and homotopy
type theory, and (2) types for concurrent processes such as session
types. For further details, see

    http://www.sussex.ac.uk/informatics/pgstudy/doctoral/projects

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

The studentship is for three years and includes a stipend of 13,863
per year and full tuition fees for Home/EU applicants. For overseas
applicants, a contribution of up to 12,000 towards overseas fees is
paid, 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 in the School prior to submitting their
application.  Initial contact with supervisors should be made at least
two weeks prior to the closing date for applications.  Informal
enquiries may be addressed to <M.F.Berger@sussex.ac.uk>.

For further details about the application process, please see

    http://www.sussex.ac.uk/informatics/pgstudy/doctoral/funding

Closing date for applications is 23 February 2015.