[TYPES/announce] Postdoc and PhD positions in Dublin

[Matthew Hennessy]

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 at scss.tcd.ie), Dr. Vasileios Koutavas(vasileios.koutavas at 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 at 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 at 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 at 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. 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20141127/e0c62478/attachment.html>