[TYPES/announce] Post-doc position in Lyon
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please find below a call for application for postdoc positions in Lyon (24months, possibly extendable to a third year). Applications of candidates from the Types community are welcome, concerning the Plume team of Laboratoire d'Informatique du Parallélisme (http://www.ens-lyon.fr/LIP/PLUME/), ENS Lyon. Potential candidates are invited to contact the member of the team who is closer to their research interest. == Post-doc positions Mathematics and Computer Science in Lyon (labex MILYON) == See: http://milyon.universite-lyon.fr/offres-de-post-docs/2-post-doctoral-positions-in-mathematics-and-or-computer-science--170911.kjsp?RH=MILYON-FR Offer: MILYON (the Laboratoire d'Excellence Mathématiques et Informatique à Lyon) offers two post-doctoral positions in mathematics and/or computer science for the academic year 2013-2014, to be held at the Unité de Mathématiques Pures et Appliquées or at the Laboratoire de l'Informatique du Parallélisme (École Normale Supérieure de Lyon), or at the Institut Camille Jordan (Université Claude Bernard Lyon 1). These are research-only appointments (without teaching). They are typically for two years, with possible renewal for a third year subject to review. The salary will be 2100 euros per month, with benefits including health insurance and social coverage. Funds will also be provided for traveling and inviting collaborators. Full description: More information can be found on the website of MILYON which contains links to the above three departments. It is requested to contact the colleagues in Lyon who are closest to your specialty. Eligibility: For holders of a Ph.D in mathematics or computer science obtained before October 1st, 2013. Deadline: Applications must be complete (including all reference letters) by : Tuesday, January 15th, 2013, at 17:00 (Lyon local time) How to apply? Applications must be submitted via the online form: http://math.univ-lyon1.fr/limesurvey/index.php?sid=27441lang=en Requested items: - a curriculum vitae; - a list of publications; - a scientific project (around two pages) specifying members of MILYON with whom you plan to interact primarily; - two detailed recommendation letters by scientists not members of MILYON; - a letter from your thesis adviser. Contact: Scientific contact : Francis FILBET fil...@math.univ-lyon1.fr Administrative contact : Carine SEVESTRE seves...@math.univ-lyon1.fr - Fin du message transféré - -- Patrick Baillot LIP (UMR 5668 CNRS) ENS de Lyon http://perso.ens-lyon.fr/patrick.baillot/ Tel (new!): (+33) 4 37 28 76 46Fax: (+33) 4 72 72 80 80
[TYPES/announce] Call for Workshops RDP 2013: RTA + TLCA
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Workshops RDP 2013: RTA + TLCA June 23 to June 28, 2013, Eindhoven, The Netherlands RDP 2013 http://www.win.tue.nl/rdp2013/ is the seventh edition of the International Conference on Rewriting, Deduction, and Programming, consisting of two main conferences RTA (Rewriting Techniques and Applications), June 24-26, and TLCA (Typed Lambda Calculi and Applications), June 26-28. Workshop proposals for RDP 2013 are solicited for the days June 24 (Monday), June 25 (Tuesday), June 27 (Thursday) and June 28 (Friday). Both well-established workshops and newer ones are encouraged. Also system competition proposals are solicited. Due to the overlap with the conferences, workshops most related to TLCA are expected to be on June 24 and 25, and workshops most related to RTA are expected to be on June 27 and 28. If you want to organize a workshop, please send the following information to Hans Zantema h.zant...@tue.nl, no later than December 1, 2012: * Workshop title and description of the topic, * Names and affiliations of the organizers, and * Proposed workshop duration (from half a day to two days). Notification date: December 20. _ Prof Dr Hans Zantema Technische Universiteit Eindhoven / Radboud Universiteit Nijmegen Primary address: Department of Computer Science P.O. Box 513, 5600 MB Eindhoven, The Netherlands e-mail: h.zant...@tue.nl, homepage: www.win.tue.nl/~hzantema office: Metaforum room 7.067, tel: (040)2472749