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=1.3 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 088D6BBCA for ; Mon, 5 May 2008 17:09:01 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al8dAOu/HkjBiHoB/2dsb2JhbACSepdv X-IronPort-AV: E=Sophos;i="4.27,438,1204498800"; d="scan'208";a="10404373" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 May 2008 17:09:00 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m45F90wG019727 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 5 May 2008 17:09:00 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al8dAOu/HkjBiHoB/2dsb2JhbACSepdv X-IronPort-AV: E=Sophos;i="4.27,438,1204498800"; d="scan'208";a="10404369" Received: from mail.di.fct.unl.pt ([193.136.122.1]) by mail2-smtp-roc.national.inria.fr with SMTP; 05 May 2008 17:08:59 +0200 Received: from [10.170.136.187] (staff-p3-10.170.136.187.in.di.fct.unl.pt [10.170.136.187]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: luis.caires) by mail.di.fct.unl.pt (Postfix) with ESMTP id 50C898A80AF; Mon, 5 May 2008 16:08:58 +0100 (WEST) Mime-Version: 1.0 (Apple Message framework v753) Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed Message-Id: <8C7FF2B1-76A3-42CC-9F08-031FACC9A468@di.fct.unl.pt> Content-Transfer-Encoding: quoted-printable From: =?ISO-8859-1?Q?Lu=EDs_Caires?= Subject: Postdoctoral Scholarship Available in Lisbon (CMU-PT Project) Date: Mon, 5 May 2008 16:08:52 +0100 To: moca-announce@list.it.uu.se, concurrency@cwi.nl, categories@mta.ca, fmics@inrialpes.fr, eacsl@dimi.uniud.it, ipa@win.tue.nl, petrinet@informatik.uni-hamburg.de, logic-announce@uclink4.berkeley.edu, logic-list@Helsinki.FI, prog-lang@diku.dk, theory-logic@CS.CMU.EDU, action-semantics@brics.dk, caml-list@inria.fr, coq-club@pauillac.inria.fr, formal-methods@cs.uidaho.edu, ifmsig@cs.tcd.ie, isabelle-users@cl.cam.ac.uk, lfcs-interest@dcs.ed.ac.uk, coalgebras@iti.cs.tu-bs.de, lpnmr@cs.engr.uky.edu, nwpt-info@sool.ioc.ee, papm@informatics.ed.ac.uk, prog-lang@daimi.au.dk, stochver@cs.bham.ac.uk, theorem-provers@ai.mit.edu, list@prooftheory.org, ecoop-info@ecoop.org, sensoria-list , citi@di.fct.unl.pt, centria@di.fct.unl.pt X-Mailer: Apple Mail (2.753) X-Miltered: at discorde with ID 481F230C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.15; pfenning:01 logics:01 logics:01 luis:98 informac:98 948:98 948:98 luis:98 informac:98 fundac:98 extensible:01 citi:01 citi:01 partially:02 objective:02 The Center of Informatics and Information Technology (CITI) at the Department of Informatics of FCT/Universidade Nova de Lisboa welcomes applications for one (1) post-doctoral scholarship position in the =20 areas of programming languages and logic in computer science. *** DEADLINE 15 JUNE 08 **** The position is funded in the context of the CMU-Portugal research / educational collaborative framework launched by the Portuguese Foundation for Science and Technology and the Carnegie-Mellon University (www.cmuportugal.org). The scholarship will start from middle 2008, and will be extensible up to 4 years, renewable on a yearly basis. The admin rules applicable may be found in the FCT/MCTES site in http://alfa.fct.mctes.pt/apoios/bolsas/. The successful candidate will contribute for the development of the ongoing research collaboration between CITI / DI FCT UNL and the Carnegie Mellon Department of Computer Science on the general themes of software foundations, involving the teams of Frank Pfenning at CMU and our team at UNL. The main objective of the project is the development of logical techniques and tools, based on substructural logics for concurrency, for reasoning about general concurrent and distributed systems. The project is also expected to seed the integration of students in the Dual Degree PhD Program in Computer Science of the ICTI/CMU-Portugal partnership. We prefer applicants with strong interest and experience in some of the following topics: foundations of programming languages, programming language design, logics in computer science, concurrency theory. The hosting environment will be the Programming Languages Research Stream of the CITI, with regular visits to CMU. More information about the CITI research environment and its members may be found at the website: citi.di.fct.unl.pt. Applications should include a curriculum vitae in pdf format and should be sent to CITI - Centro de Informatica e Tecnologias da Informa=E7=E3o Faculdade de Ci=EAncias e Tecnologia, Universidade Nova de Lisboa 2829-516 Caparica, Portugal E-mail: citi-admin@di.fct.unl.pt Telephone: +351 212 948 536 Fax: +351 212 948 541 Please email me for any further questions about the position and the related projects, Best regards, Luis Caires =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D General Info on CITI (citi.di.fct.unl.pt) The CITI (Centro de Inform=E1tica e Tecnologias da Informa=E7=E3o - = Centre for Informatics and Information Technologies ) is a research center partially funded by the Portuguese National Science Foundation (Funda=E7=E3o para a Ci=EAncia e Tecnologia) and by the Universidade = Nova de Lisboa, Faculty of Sciences and Technology (FCT/UNL), Department of Informatics, where it is hosted since its foundation in 1997. CITI's research team is currently composed by more that 50 researchers, with a broad coverage of classical and emergent topics ranging from theoretical foundations to applications, and is one of the largest research units in Computer Science and Informatics in Portugal.