PhD Position in Programming Languages and Concurrency
Rolling call -- starting September or March
Fully funded PhD positions are 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:
- Concurrency Theory and Implementation -- development of constructs for effective and efficient concurrent programming.
- Semantics of programming languages -- development of new techniques for verifying the behaviour of programs written in modern programming languages.
- Static analysis in Concurrency -- methods for automatically checking properties of concurrent, communicating programs.
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
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, Methods & Programming Languages group and the School of Computer Science and Statistics.
The position can begin in September or March , 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
- a statement of suitability for this position/cover letter
- transcripts
- the contact details of two referees
.
Requests for further information are welcome at the same email.