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.