[TYPES/announce] Postdoctoral Fellowships at Trinity College Dublin

[Matthew.Hennessy]

Lero, the Irish Software Research Centre, offer a number of two-year Postdoctoral Fellowships under the Marie Skłodowska-Curie COFUND programme.

Six of these positions will be based at Trinity College Dublin, and will be supervised by staff members of the Foundations, Methods & Programming Languages Group:

- Prof Matthew Hennessy https://www.scss.tcd.ie/matthew.hennessy/ <https://www.scss.tcd.ie/matthew.hennessy/>
- Dr Andrew Butterfield https://www.scss.tcd.ie/Andrew.Butterfield/ <https://www.scss.tcd.ie/Andrew.Butterfield/>
- Dr Vasileios Koutavas https://www.scss.tcd.ie/Vasileios.Koutavas/ <https://www.scss.tcd.ie/Vasileios.Koutavas/>

Applicants may select their research proposal topic, which can be in any of the areas of 

- Programming Language semantics, theory and implementation
- Concurrency theory and implementation
- Formal Verification
- Static Analysis and Compilers

At first instance, applicants should liaise with potential supervisors to discuss their proposal and gain support for their application. Applications will be submitted and evaluated according to the Marie Skłodowska-Curie regulations. Further particulars can be found at http://alecs.lero.ie/ <http://alecs.lero.ie/>.

The deadline for applications is 22 February 2018.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180112/dddd6aec/attachment.html>