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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D7DA77EE4B; Tue, 15 Oct 2013 14:31:18 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Xavier.Rival@ens.fr) identity=pra; client-ip=129.199.96.40; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Xavier.Rival@ens.fr"; x-sender="Xavier.Rival@ens.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of Xavier.Rival@ens.fr designates 129.199.96.40 as permitted sender) identity=mailfrom; client-ip=129.199.96.40; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Xavier.Rival@ens.fr"; x-sender="Xavier.Rival@ens.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nef2.ens.fr) identity=helo; client-ip=129.199.96.40; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Xavier.Rival@ens.fr"; x-sender="postmaster@nef2.ens.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AugBAOI0XVKBx2AonGdsb2JhbABaFoMpxBUWDgEBAQEBCAsJCRQogjhHGIFNEogGDL1Ek3YDlCeZBQ X-IPAS-Result: AugBAOI0XVKBx2AonGdsb2JhbABaFoMpxBUWDgEBAQEBCAsJCRQogjhHGIFNEogGDL1Ek3YDlCeZBQ X-IronPort-AV: E=Sophos;i="4.93,498,1378850400"; d="scan'208";a="30426348" Received: from nef2.ens.fr ([129.199.96.40]) by mail3-smtp-sop.national.inria.fr with ESMTP; 15 Oct 2013 14:31:18 +0200 Received: from di.ens.fr (di.ens.fr [129.199.99.1]) by nef2.ens.fr (8.13.6/1.01.28121999) with ESMTP id r9FCVHot047694 ; Tue, 15 Oct 2013 14:31:18 +0200 (CEST) X-Envelope-To: ocaml-jobs@inria.fr Received: from ssh-di.ens.fr (ssh.di.ens.fr [129.199.99.31]) by di.ens.fr (8.13.6/jb-1.1) id r9FCVH9D026120 ; Tue, 15 Oct 2013 14:31:17 +0200 Received: from localhost (rival@localhost) by ssh-di.ens.fr (8.14.4/jb-1.1) id r9FCVHgO020291 ; Tue, 15 Oct 2013 14:31:17 +0200 X-Authentication-Warning: ssh-di.ens.fr: rival owned process doing -bs Date: Tue, 15 Oct 2013 14:31:17 +0200 (CEST) From: Xavier Rival X-X-Sender: rival@ssh-di.ens.fr To: caml-list@inria.fr, ocaml-jobs@inria.fr Message-ID: User-Agent: Alpine 2.02 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="8323329-336320801-1381840277=:11179" X-Virus-Scanned: by amavisd-milter (http://amavis.org/) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-3.1.4 (nef2.ens.fr [129.199.96.32]); Tue, 15 Oct 2013 14:31:18 +0200 (CEST) X-Validation-by: xavier.rival@ens.fr Subject: [Caml-list] Developper position: designing a C front-end in OCaml This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --8323329-336320801-1381840277=:11179 Content-Type: TEXT/PLAIN; format=flowed; charset=ISO-8859-15 Content-Transfer-Encoding: 8BIT We are looking for an experienced OCaml developper in order to design front-end components for a static analyzer developped as part of the MemCAD ERC project (http://www.di.ens.fr/~rival/memcad.html). The position is offered at INRIA Paris Rocquencourt center, in the Abstraction Research Team (located in Ecole Normale Supérieure, Paris, 5th Arrondissement). It will be funded on the MemCAD project, for a one or two years duration (if the candidate opts for a one year contact, an extension to two years will be possible). Hiring could be done as soon as December 2013 (later starting dates are feasible). The task that will be undertaken consists in developping front-end components for the MemCAD static analyzer, including a C front-end, syntax tree simplification, and possibly pre-analyses to be used in the MemCAD tool (the goal of this tool is to infer program invariants for codes manipulating complex memory data-structures). The components that shall be designed as part of this effort have the potential to be used by other research groups in the static analysis area. The candidate should be familiar with functional programming (expertise in OCaml is very appreciated) and should preferably have some knowledge in compilation (lexers, parsers, representation and transformation of abstract syntax trees). The ability to design interfaces with external libraries in C/C++ will also be useful. No knowledge in static analysis is required. This position requires a Master Degree (or equivalent). For additional details, please contact Xavier Rival (rival@di.ens.fr). --------------------------------------------------------------------------- Nous recherchons un expert en programmation OCaml pour concevoir et implémenter des composants d'un front-end d'analyseur statique, au sein du projet ERC MemCAD (http://www.di.ens.fr/~rival/memcad.html). Le poste sera rattaché au Centre de Recherche INRIA Paris Rocquencourt et sera situé à l'Ecole Normale Supérieure (Paris, 5ème Arrondissement). Il sera financé sur le projet MemCAD, pour une durée de un ou deux ans (dans le cas d'un contrat initial pour un an, une extension à deux ans sera possible). Le contrat pourra commencer à partir de Décembre 2013 (une date d'embauche ultérieure pourra aussi être fixée). La tâche consistera en la réalisation d'un front-end pour l'analyseur statique MemCAD incluant un front-end C, des phases de simplifications syntaxiques et éventuellement des pré-analyses qui pourront être utilisées dans l'analyseur MemCAD (le but de cet analyseur est d'inférer des invariants de programmes pour des logiciels manipulant des structures de données complexes). Ces composants pourront également être utilisés ultérieurement dans d'autres équipes en analyse statique. Une solide connaissance de la programmation fonctionnelle est attendue (est une expertise en OCaml sera très appréciée), ainsi que, de préférence, de bonnes connaissances en compilation (lexeurs, parseurs, représentations et transformations d'arbres syntaxiques abstraits). Une expérience en mise au point d'interfaces entre code OCaml et code C/C++ sera également utile. Aucune connaissance en analyse statique n'est exigée. Un niveau Master ou équivalent est attendu. Pour plus de détails, veuillez contacter Xavier Rival (rival@di.ens.fr). --8323329-336320801-1381840277=:11179--