[TYPES/announce] VeTSS PhD Scholarship Programme on Session Types and Programming Languages

[Yoshida, Nobuko]

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.yoshida at imperial.ac.uk> and
with the subject title VeTSS PhD Scholarship on Session Types.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180604/09232944/attachment.html>