[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.
