From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8106 Path: news.gmane.org!not-for-mail From: Wendelin Serwe Newsgroups: gmane.comp.mathematics.openmath.announce,gmane.science.mathematics.categories,gmane.comp.lang.lambda-prolog,gmane.comp.lang.maude.general,gmane.science.mathematics.petri-nets,gmane.comp.lang.haskell.general,gmane.comp.mathematics.hol,gmane.science.mathematics.discrete,gmane.comp.gnu.prolog.general Subject: Post-doc position at Convecs team (Inria/LIG) Date: Mon, 12 May 2014 11:27:11 +0200 Message-ID: <537093EF.4050504@inria.fr> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1399897969 24555 80.91.229.3 (12 May 2014 12:32:49 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 12 May 2014 12:32:49 +0000 (UTC) Cc: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Original-X-From: om-announce-bounces-+sROD/JK0TBg9hUCZPvPmw@public.gmane.org Mon May 12 14:32:34 2014 Return-path: Envelope-to: gcmoa-om-announce@m.gmane.org Original-Received: from xedge2.campus.tue.nl ([131.155.6.117]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1WjpPE-0000DX-1T for gcmoa-om-announce@m.gmane.org; Mon, 12 May 2014 14:32:32 +0200 Original-Received: from dam04.win.tue.nl (131.155.0.167) by xedge2.campus.tue.nl (131.155.6.117) with Microsoft SMTP Server id 14.3.174.1; Mon, 12 May 2014 14:32:30 +0200 Original-Received: from [127.0.1.1] (localhost [127.0.0.1]) by dam04.win.tue.nl (Postfix) with ESMTP id 6D21F6C1634; Mon, 12 May 2014 14:33:42 +0200 (CEST) Original-Received: from XSERVER20A.campus.tue.nl (xserver20a.campus.tue.nl [131.155.6.104]) by dam04.win.tue.nl (Postfix) with ESMTPS id 23F316C0333 for ; Mon, 12 May 2014 11:28:39 +0200 (CEST) Original-Received: from XEDGE2.campus.tue.nl (131.155.6.117) by XSERVER20A.campus.tue.nl (131.155.6.80) with Microsoft SMTP Server (TLS) id 14.3.174.1; Mon, 12 May 2014 11:27:16 +0200 Original-Received: from mail2-relais-roc.national.inria.fr (192.134.164.83) by xedge2.campus.tue.nl (131.155.6.117) with Microsoft SMTP Server (TLS) id 14.3.174.1; Mon, 12 May 2014 11:27:15 +0200 X-IronPort-AV: E=Sophos;i="4.97,1033,1389740400"; d="scan'208";a="73167524" Original-Received: from sommet.inrialpes.fr (HELO [194.199.23.93]) ([194.199.23.93]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 May 2014 11:27:11 +0200 User-Agent: Mozilla/5.0 (X11; SunOS i86pc; rv:17.0) Gecko/17.0 Thunderbird/17.0 Received-SPF: None (XEDGE2.campus.tue.nl: Wendelin.Serwe-MZpvjPyXg2s@public.gmane.org does not designate permitted sender hosts) X-Mailman-Approved-At: Mon, 12 May 2014 14:33:40 +0200 X-BeenThere: om-announce-+sROD/JK0TBg9hUCZPvPmw@public.gmane.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: general announcements related to OpenMath List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: Errors-To: om-announce-bounces-+sROD/JK0TBg9hUCZPvPmw@public.gmane.org Xref: news.gmane.org gmane.comp.mathematics.openmath.announce:2724 gmane.science.mathematics.categories:8106 gmane.comp.lang.lambda-prolog:3093 gmane.comp.lang.maude.general:659 gmane.science.mathematics.petri-nets:4077 gmane.comp.lang.haskell.general:20253 gmane.comp.mathematics.hol:3189 gmane.science.mathematics.discrete:8642 gmane.comp.gnu.prolog.general:1610 Archived-At: The Convecs team of Inria and LIG is offering a post-doctoral position. For more information see: http://convecs.inria.fr/jobs/2014a.html -- Inria / LIG - Convecs, Inovallee 38334 St-Ismier Cedex, FRANCE Tel: (+33) 4 76 61 53 52, Fax: (+33) 4 76 61 52 52