From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8292 Path: news.gmane.org!not-for-mail From: Gwen.Salaun@inria.fr Newsgroups: gmane.science.mathematics.categories Subject: Postdoc Position on Verification of Asynchronously Communicating Systems, Inria/LIG, Grenoble, France Date: Mon, 18 Aug 2014 17:40:53 +0200 (CEST) Message-ID: Reply-To: Gwen.Salaun@inria.fr NNTP-Posting-Host: plane.gmane.org X-Trace: ger.gmane.org 1408453634 5754 80.91.229.3 (19 Aug 2014 13:07:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 19 Aug 2014 13:07:14 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Tue Aug 19 15:07:09 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XJj81-0001L8-9m for gsmc-categories@m.gmane.org; Tue, 19 Aug 2014 15:07:09 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:52689) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XJj7f-0001rk-C5; Tue, 19 Aug 2014 10:06:47 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XJj7e-0004K2-78 for categories-list@mlist.mta.ca; Tue, 19 Aug 2014 10:06:46 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8292 Archived-At: The Convecs team (Inria Grenoble Rh?ne-Alpes research center / LIG laboratory) recruits a postdoc. More information at: http://convecs.inria.fr/jobs/2014b.html Applications should be addressed directly to Gwen Sala?n, preferably by e-mail. Applications received after October 10th, 2014 might not be considered if a candidate has been selected already. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]