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

Martin Berger M.F.Berger at sussex.ac.uk
Mon Dec 22 12:01:52 CET 2014


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 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

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

Closing date for applications is 23 February 2015.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 931 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://lists.chalmers.se/pipermail/agda/attachments/20141222/dd0364a0/signature.bin


More information about the Agda mailing list