Email Gateway (Aug 19 2022 at 16:53): Email Gateway (Aug 19 2022 at 16:53):From: Martin Berger <M.F.Berger@sussex.ac.uk>
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.
signature.asc
Last updated: Apr 18 2024 at 20:16 UTC