coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoctoral Fellowhships

From: Matthew Hennessy <Matthew.Hennessy AT cs.tcd.ie>
To: moca-announce AT list.it.uu.se
Cc: concurrency AT cwi.nl, categories AT mta.ca, fmics AT inrialpes.fr, eacsl AT dimi.uniud.it, ipa AT win.tue.nl, petrinet AT informatik.uni-hamburg.de, logic-announce AT uclink4.berkeley.edu, logic-list AT Helsinki.FI, prog-lang AT diku.dk, theory-logic AT CS.CMU.EDU, action-semantics AT brics.dk, caml-list AT inria.fr, coq-club AT pauillac.inria.fr, formal-methods AT cs.uidaho.edu, ifmsig AT cs.tcd.ie, isabelle-users AT cl.cam.ac.uk, lfcs-interest AT dcs.ed.ac.uk, coalgebras AT iti.cs.tu-bs.de, lpnmr AT cs.engr.uky.edu, nwpt-info AT sool.ioc.ee, papm AT informatics.ed.ac.uk, prog-lang AT daimi.au.dk, stochver AT cs.bham.ac.uk, theorem-provers AT ai.mit.edu, list AT prooftheory.org, ecoop-info AT ecoop.org
Subject: [Coq-Club] Postdoctoral Fellowhships
Date: Mon, 25 Feb 2008 14:42:37 +0000
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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

     The Foundations of Global Computing - Trinity College Dublin
              Two postdoctoral Research Fellowships

Applications are invited for TWO post-doctoral  positions to
undertake research into the foundations of Global Computing.  The
posts are within the Software Systems Lab  of the Department of
Computer Science at Trinity College Dublin as part of a new SFI-funded
research project, under the direction of Matthew Hennessy, which seeks
to establish a firm mathematical and logical basis for the next
generation of widely distributed computing computing environments.

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

- operational semantics
- concurrency theory
- model checking
- verification techniques
- type theory
- program logics

These posts are tenable from April 2008 at a salary commensurate with
the successful candidates' qualifications and experience. Appointments
will be made initially for a 24 month period, although there will be
scope for extension. 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 two referees
- a statement outlining  the applicant's suitability to the project.

Applications should be sent 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.

[Coq-Club] Postdoctoral Fellowhships, Matthew Hennessy