[isabelle] PhD studentship on dependent type theory for concurrent processes

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


or contact Martin Berger <M.F.Berger at 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 at sussex.ac.uk>.

For further details about the application process, please see


Closing date for applications is 23 February 2015.

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.