[TYPES/announce] PhD Position in Programming Languages and Concurrency at Trinity College Dublin

[Vasileios Koutavas]

PHD POSITION IN PROGRAMMING LANGUAGES AND CONCURRENCY

Starting September 2014 or March 2015

One fully funded PhD position is open in the School of Computer Science and Statistics at Trinity College Dublin, Ireland.

We are looking for an exceptional EU or non-EU candidate with an interest in performing groundbreaking research within the following areas:

* programming language semantics and implementation
* distributed computing
* concurrency theory
* formal verification

The successful candidate will be able to choose a PhD subject in these areas and their intersections according to his/her interests. Please contact Vasileios.Koutavas at scss.tcd.ie if you would like to discuss such subjects.

Candidates should ideally have completed (or nearing completion) an MSc or honours undergraduate degree in computer science, computer engineering, or mathematics.

The position will be supervised by Dr. Vasileios Koutavas

https://www.scss.tcd.ie/Vasileios.Koutavas

The successful candidate will also have the opportunity to collaborate with other staff members at the School of Computer Science and Statistics, which include Prof. Matthew Hennessy.

The position will begin in September 2014 or March 2015, and it is expected to last for a maximum of 4 years.

The position provides EU or non-EU postgraduate fees at TCD and a full stipend covering living expenses in Dublin, Ireland.

Applications should include:

 * curriculum vitae
 * cover letter
 * transcripts
 * the contact details of two referees

They should be sent electronically to Vasileios.Koutavas at scss.tcd.ie. Requests for further information are welcome at the same email.

Applications will be considered until the position is filled.