categories - Category Theory list
 help / color / mirror / Atom feed
From: Matthew Hennessy <Matthew.Hennessy-aVqd/T0vMsmzQB+pC5nmwQ@public.gmane.org>
To: moca-announce-HnE2qM1WCGk4M/bo5TPICw@public.gmane.org
Cc: pvs-1VPwtPCARB1BDgjK7y7TUQ@public.gmane.org,
	coalgebras-hXF0vsYojyLquOJu9mQKZg@public.gmane.org,
	concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org,
	lics-jNDFPZUTrfT1r4uDOcZfYxQ0avMEgXv9@public.gmane.org,
	categories-59hdLBrVOVU@public.gmane.org,
	formal-methods-qEKhHm0yjF/+8JsoCmch9A@public.gmane.org,
	types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org,
	appsem-+cHZLFJ93xAFo7VRcpz9QQ@public.gmane.org,
	caml-list-MZpvjPyXg2s@public.gmane.org
Subject: PhD studentships   - Dublin
Date: Thu, 26 Mar 2009 15:56:17 +0000	[thread overview]
Message-ID: <17020198-D6C9-4E72-81EB-9B7BF5117EE6@cs.tcd.ie> (raw)

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Apologies for multiple postings
--------------------------------


      The Foundations of Global Computing - Trinity College Dublin
                       Two PhD studentships

Applications are invited for two PhD studentships within the Software
Systems Lab of the Department of Computer Science. The positions are
part of a 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
environments.

  The research programme within the project is wide ranging in scope,
offering considerable flexibility to the successful candidates to
pursue particular research interests. These range from the design and
investigation of abstract calculi for describing the behaviour of
complex systems, the use of types to enforce security policies, to the
development of verification technologies for ensuring properties of
mobile agents.

Qualification requirements:

Applicants should have at least a good honours primary degree in
Computer Science or Mathematics, and have a proven aptitude in
discrete mathematics and the manipulation of formal systems.

Remuneration:

17,000 euros per annum, plus postgraduate fees, for three years,
starting in October 2009.

Application details:

Interested applicants should, in the first instance, send their CV to
the address below, together with a statement outlining their
suitability for the project and the names of two
referees. Applications by email are welcome.


Matthew Hennessy
Department of Computer Science
The O'Reilly Institute
Trinity College
Dublin 2, Ireland

email: matthew.hennessy-aVqd/T0vMsmzQB+pC5nmwQ@public.gmane.org
tel: +353 (01) 8962634



             reply	other threads:[~2009-03-26 15:56 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-03-26 15:56 Matthew Hennessy [this message]
  -- strict thread matches above, loose matches on Subject: below --
2009-03-26 15:56 Matthew Hennessy

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=17020198-D6C9-4E72-81EB-9B7BF5117EE6@cs.tcd.ie \
    --to=matthew.hennessy-avqd/t0vmsmzqb+pc5nmwq@public.gmane.org \
    --cc=appsem-+cHZLFJ93xAFo7VRcpz9QQ@public.gmane.org \
    --cc=caml-list-MZpvjPyXg2s@public.gmane.org \
    --cc=categories-59hdLBrVOVU@public.gmane.org \
    --cc=coalgebras-hXF0vsYojyLquOJu9mQKZg@public.gmane.org \
    --cc=concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org \
    --cc=formal-methods-qEKhHm0yjF/+8JsoCmch9A@public.gmane.org \
    --cc=lics-jNDFPZUTrfT1r4uDOcZfYxQ0avMEgXv9@public.gmane.org \
    --cc=moca-announce-HnE2qM1WCGk4M/bo5TPICw@public.gmane.org \
    --cc=pvs-1VPwtPCARB1BDgjK7y7TUQ@public.gmane.org \
    --cc=types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).