From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 54F5D7EE51 for ; Mon, 8 Apr 2013 01:51:34 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.87,427,1363129200"; d="scan'208";a="12190779" Received: from versailles.c0hen.net (HELO [192.168.0.75]) ([82.240.29.21]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 08 Apr 2013 01:51:34 +0200 Message-ID: <51620684.8080300@inria.fr> Date: Mon, 08 Apr 2013 01:51:32 +0200 From: Albert Cohen User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.12) Gecko/20130116 Icedove/10.0.12 MIME-Version: 1.0 To: compilation-news@lists.gforge.inria.fr, caml-list@inria.fr CC: Albert Cohen Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Subject: [Caml-list] Job offer: compilation of synchronous languages for multicore safety-critical systems Hello, The PARKAS team at INRIA and École Normale Supérieure in Paris is looking for an engineer or a postdoctoral researcher. http://www.di.ens.fr/ParkasTeam.html This is a 2 to 3 years position, offered in the context of the FSF project of the IRT SystemX laboratory, to work on a functional, synchronous language for the design and implementation of multicore embedded controllers. The position starts on May 15th and is based primarily in Saclay (NanoInnov building, CEA), with the likely option to relocate at the INRIA offices in Paris if preferable. The unique configuration of the SystemX laboratory enables the effective collaboration of academic and industry researchers and engineers. Direct collaboration and transfer with Alstom Transport and Esterel Technologies is expected in this context. The work will include the development of a compiler for a variant of the Lustre language, building on existing components in OCaml, as well as runtime system components for safety-critical and real-time execution environments. Please contact me as soon as possible if you are interested. More information will be provided upon request. Feel free to forward this offer to people you know who might be interested. Sincerely yours, Albert Cohen