From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/200 Path: news.gmane.org!not-for-mail From: Matthew Hennessy Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.comp.lang.caml.inria Subject: PhD studentships - Dublin Date: Thu, 26 Mar 2009 15:56:17 +0000 Message-ID: <17020198-D6C9-4E72-81EB-9B7BF5117EE6@cs.tcd.ie> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v930.3) Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1238083203 4377 80.91.229.12 (26 Mar 2009 16:00:03 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 26 Mar 2009 16:00:03 +0000 (UTC) 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 To: moca-announce-HnE2qM1WCGk4M/bo5TPICw@public.gmane.org Original-X-From: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Thu Mar 26 17:01:19 2009 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by lo.gmane.org with esmtp (Exim 4.50) id 1Lms10-0003VI-Vo; Thu, 26 Mar 2009 17:01:11 +0100 Original-Received: from RHIZOME.SEAS.UPENN.EDU (LOCALHOST.upenn.edu [127.0.0.1]) by rhizome.seas.upenn.edu (8.13.6/8.12.8) with ESMTP id n2QFw8n0006997; Thu, 26 Mar 2009 11:58:11 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from psychopathy.seas.upenn.edu (psychopathy.seas.upenn.edu [158.130.67.191]) by rhizome.seas.upenn.edu (8.13.6/8.12.8) with ESMTP id n2QFveLQ006958 for ; Thu, 26 Mar 2009 11:57:40 -0400 Original-Received: from cs.tcd.ie (relay.cs.tcd.ie [134.226.32.56]) by psychopathy.seas.upenn.edu (8.13.6/8.13.6) with ESMTP id n2QFvYeo032755 for ; Thu, 26 Mar 2009 11:57:39 -0400 Original-Received: from localhost (localhost [127.0.0.1]) by relay.cs.tcd.ie (Postfix) with ESMTP id A58743F058; Thu, 26 Mar 2009 15:57:32 +0000 (GMT) X-Virus-Scanned: amavisd-new at cs.tcd.ie Original-Received: from cs.tcd.ie ([127.0.0.1]) by localhost (smtp.cs.tcd.ie [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id KOyN3g0BT3KC; Thu, 26 Mar 2009 15:57:32 +0000 (GMT) Original-Received: from kilkenny.cs.tcd.ie (apex.cs.tcd.ie [134.226.32.57]) by smtp.cs.tcd.ie (Postfix) with ESMTP id BF7283F048; Thu, 26 Mar 2009 15:57:28 +0000 (GMT) X-Mailer: Apple Mail (2.930.3) X-Proofpoint-Virus-Version: vendor=fsecure engine=1.12.7400:2.4.4, 1.2.40, 4.0.166 definitions=2009-03-26_09:2009-03-25, 2009-03-26, 2009-03-26 signatures=0 X-Spam-Level: X-Proofpoint-Spam-Details: rule=spam_score_tagging policy=default score=0 spamscore=0 ipscore=0 phishscore=0 bulkscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx engine=5.0.0-0811170000 definitions=main-0903260092 X-Proofpoint-SpamScore: 0 X-Mailman-Approved-At: Thu, 26 Mar 2009 11:58:07 -0400 X-BeenThere: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org X-Mailman-Version: 2.1.6 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Errors-To: types-announce-bounces-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Xref: news.gmane.org gmane.comp.science.types.announce:1151 gmane.science.mathematics.categories:200 gmane.comp.lang.caml.inria:45686 Archived-At: [ 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