[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Closing Date: 16th August 2018 The Department of Computing is a leading department of Computer Science among UK Universities, and has consistently been awarded the highest research rating. In the 2014 REF assessment, The Department was ranked third (1st in the Research Intensity table published by The Times Higher), and was rated as "Excellent" in the previous national assessment of teaching quality. We invite applications for a PhD studentship funded by VeTSS (https://vetss.org.uk) in programming languages and software engineering research related to concurrency theories and session types under the supervision of Nobuko Yoshida. The goal of the PhD project will be to investigate new approaches to verify channel-based or communication-based concurrent languages such as Go, Rust or Actor-based languages. A particular focus will be a use of session types to avoid concurrency bugs such as deadlocks and races statically. You will be part of the Mobility and Session Types (MRG) research group. Informal inquiries about this position are also encouraged and can be directed to Nobuko Yoshida. For further information see MRG group website (https://mrg.doc.ic.ac.uk). To apply for this position, you must have a strong background in at least one of the following areas: * Programming Languages * Type Systems * Theory of Computer Science * Systems Applicants are expected to have a First Class or Distinction Masters level degree, or equivalent, in a relevant scientific or technical discipline, such as computer science. Applicants must be fluent in spoken and written English. The PhD studentship consists of an annual bursary up to a maximum of three and half years. In addition, you will receive a fixed computer and conference allowance. The ideal starting date is either 1st October 2018 or 1st January 2019. Applications must include the following: * A 2-page research statement that describes: (i) what you see as an interesting research issue; (ii) an outline of the objectives and methodology for the research; and (iii) what relevant experience you have * A detailed CV * Transcripts of all degree results The contact details for two referees Please email your application to <n.yosh...@imperial.ac.uk> and with the subject title VeTSS PhD Scholarship on Session Types.