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 candidate with an interest in performing ground-breaking research within the following areas:

  1. Communicating Transactions -- a novel construct for making concurrent and distributed programming safer and simple to implement.
  2. Semantics of programming languages -- involving the development of new techniques for verifying the behaviour of programs written in modern programming languages.
  3. Static analysis of communication -- a method to automatically check that programs adhere to communication protocols.
  4. Theory of concurrent computation -- an underpinning theme of the above areas.

Together with the supervisor, the successful candidate will be able to choose a PhD subject in these areas and their intersections according to his/her interests. Please contact email if you would like to discuss such subjects.

Candidates should have completed, or nearing completion, an undergraduate degree in computer science, engineering, or mathematics.

The position will be supervised by Dr. Vasileios Koutavas. The successful candidate will also have the opportunity to interract and collaborate with other members of the Foundations and Methods Group and the School of Computer Science and Statistics.

The position can begin in September 2017 or March 2018, and it is expected to last for 4 years.

The position provides EU postgraduate fees and a full stipend covering living expenses in Dublin.

Applications should include:

  • curriculum vitae
  • cover letter
  • transcripts
  • the contact details of two referees
These should be sent electronically to email. Requests for further information are welcome at the same email.

Applications will be considered until the position is filled.