[TYPES/announce] Postdoctoral Research Fellowship

[Matthew Hennessy]

Apologies for Multiple Postings
--------------------------------


      The Foundations of Global Computing - Trinity College Dublin
               Postdoctoral Research Fellowship

Applications are invited for a  post-doctoral  position to
undertake research into the foundations of Global Computing.  The
post is within the Software Systems Lab  of the Department of
Computer Science at Trinity College Dublin as part of an SFI-funded
research project, under the direction of Matthew Hennessy, which seeks
to establish a core of research expertise in behavioural
theories of distributed systems and to encourage their application to
strategically important domains such as Mobile computing,
Web services and  Wireless networks.

Applicants should have a PhD in Computer Science, or a closely related
discipline. Candidates with  expertise in following areas are
particularly welcome:


- model checking
- verification techniques
- program logics
- formal techniques for web services


The post is tenable from April 2012 for a period of 12 months, with a
possibility of renewal; the post will remain open until filled.  The
salary will be commensurate with the successful candidates'
qualifications and experience, and in line with HEA guidelines.
Further particulars of the posts may be obtained from the address
below, and informal enquiries are also welcomed.

Applications should include
  - detailed curriculum vitae, in pdf format
  - copies of relevant publications, or url-pointers to them
  - the names of three referees
  - a statement outlining  the applicant's suitability to the project.

Applications should be sent/emailed to:

Matthew Hennessy
Department of Computer Science
The O'Reilly Institute
Trinity College
Dublin 2
Ireland
email: matthew.hennessy at cs.tcd.ie
tel: +353 (01) 8962634

Trinity College is an equal opportunities employer.