PhD student position in dependent type theory, Brighton (England)

Applications are invited for a fully funded 3-year 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.

Closing date for applications is 23 February 2015. For further details about the application process, please see http://www.sussex.ac.uk/informatics/pgstudy/doctoral/funding. Informal enquiries may be addressed to M.F.Berger at sussex.ac.uk