Postdoc and Phd positions in Dublin

TRINITY COLLEGE DUBLIN 
As part of the new Irish Software Research Centre, the following positions
have become available in the School of Computer Science and Statistics, Trinity College Dublin.
Postdoctoral Researcher (A4-01): Static Analysis for Concurrent Computing Infrastructures.
Qualifications:  A PhD in Computer Science, or equivalent, with a strong background in static analysis and/or verification techniques (including but not limited to abstract interpretation, model-checking, equivalence/refinement techniques, session types).
Lead Researchers: Prof. Matthew Hennessy (matthew.hennessy@scss.tcd.ie), Dr. Vasileios Koutavas(vasileios.koutavas@scss.tcd.ie)
Postdoctoral Researcher (TP-3-10): Formal Techniques for Code Refactoring.
Qualifications:  A PhD in Computer Science, or equivalent, with a strong background in formal semantics and formal methods.
Lead Researcher: Prof. Andrew Butterfield. (andrew.butterfield@scss.tcd.ie)
PhD Studentship (A4-02):  Adaptive Security
Qualifications:   B.Sc/MSc in Computer Science, Mathematics or equivalent, with a strong background in formal semantics and verification.
Lead Researcher : Dr. Vasileios Koutavas. (vasileios.koutavas@scss.tcd.ie)
PhD Studentship (TP-3-11): Formal Techniques for Code Refactoring
Qualifications: B.Sc/M.Sc in Computer Science, Mathematics, with a background
in Formal Methods.
Lead Researcher: Prof. Andrew Butterfield. (andrew.butterfield@scss.tcd.ie)
The postdoctoral positions are for a period of two years, with the possibility of extension for a further year. Salary scale:  €37,750 – €46,255 per annum.
The PhD studentships are for 4 years, providing EU citizen fees and a stipend of 18K  per annum.
All positions  are open in 2015 and will remain open until filled.
Application Procedure:
Informal approaches to the lead researchers are encouraged, to discuss the research involved in more detail, and the required qualifications.
Candidates should submit a cover letter to the lead researcher indicating how they are suited to this position together with a full curriculum vitae to include the names and contact details of three referees (email addresses if possible).
Please  quote position-id (e.g. A4-01)  in your application.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s