From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=ADVANCE_FEE_1 autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 92DC4BBAF for ; Thu, 26 Mar 2009 16:57:33 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhQCAG9Cy0mG4iA4e2dsb2JhbACWAgEBFiIFvVaDdgY X-IronPort-AV: E=Sophos;i="4.38,426,1233529200"; d="scan'208";a="25042026" Received: from relay.cs.tcd.ie (HELO cs.tcd.ie) ([134.226.32.56]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Mar 2009 16:57:33 +0100 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 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) 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) Message-Id: <17020198-D6C9-4E72-81EB-9B7BF5117EE6@cs.tcd.ie> From: Matthew Hennessy To: moca-announce@list.it.uu.se Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v930.3) Subject: PhD studentships - Dublin Date: Thu, 26 Mar 2009 15:56:17 +0000 Cc: types-announce@lists.seas.upenn.edu, categories@mta.ca, concurrency@listserver.tue.nl, formal-methods@cs.uidaho.edu, caml-list@inria.fr, lics@informatik.hu-berlin.de, coalgebras@iti.cs.tu-bs.de, pvs@csl.sri.com, appsem@disi.unige.it X-Mailer: Apple Mail (2.930.3) X-Spam: no; 0.00; honours:01 suitability:01 o'reilly:01 tcd:98 dublin:98 dublin:98 tcd:98 abstract:01 behaviour:01 ensuring:02 referees:03 calculi:03 logical:04 scope:04 complex:05 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@cs.tcd.ie tel: +353 (01) 8962634