From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 82721BC69 for ; Wed, 12 Sep 2007 17:14:15 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAHGf50bAXQImh2dsb2JhbACOFwEBAQgKJw X-IronPort-AV: E=Sophos;i="4.20,245,1186351200"; d="scan'208";a="1100300" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Sep 2007 17:14:32 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8CFEMVj003704 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 12 Sep 2007 17:14:22 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAJ6e50bCRgOEfGdsb2JhbACOFwEBCQQGJw X-IronPort-AV: E=Sophos;i="4.20,245,1186351200"; d="scan'208";a="655069" Received: from fork.recoil.org ([194.70.3.132]) by mail1-smtp-roc.national.inria.fr with SMTP; 12 Sep 2007 17:14:31 +0200 Received: (qmail 17909 invoked by uid 10000); 12 Sep 2007 15:23:01 -0000 Date: Wed, 12 Sep 2007 16:23:01 +0100 From: Anil Madhavapeddy To: caml-list@inria.fr Cc: rsharp@xensource.com, dscott@xensource.com, ian.pratt@xensource.com Subject: JOB: XenSource seeking OCaml hackers Message-ID: <20070912152301.GA1318@fork.recoil.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.12-2006-07-14 X-Miltered: at discorde with ID 46E8024E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; anil:01 anil:01 ocaml:01 ocaml:01 low-level:01 high-level:01 bindings:01 off-list:01 100,000:98 caml:02 implemented:02 strong:96 languages:03 programming:03 programming:03 XenSource is a dynamic, fast-growing software company that develops Linux/Windows virtualisation products on top of the open-source Xen hypervisor. Our most recent product, XenEnterprise v4, sports a high-performance, fully-featured virtualisation control plane implemented in OCaml. To help us achieve our goal of delivering high-quality, exciting features and supporting an ever-growing customer base, we are looking to hire black-belt OCaml programmers to join our established team of talented and motivated engineers. Our code base is significant: over 100,000 lines of OCaml which solves problems ranging from the low-level (Xen hypercalls), to the high-level (resource pool management), to the compiler-driven (generating language bindings for our Xen datamodel). Our ideal candidate will have: * significant experience of OCaml programming * an aptitude for implementing (and reasoning about) complex concurrent, distributed systems * the skills required to contribute to both the architectural design and day-to-day development of a large code-base * strong communication skills and problem solving ability * a determination to deliver great products that perform brilliantly and meet our customers' needs So if you want to hack OCaml professionally, tackle interesting and challenging programming problems and contribute to an innovative product that is already used by thousands of customers across the world, please don't hesitate to contact us. We are interested in applicants from both research and industrial backgrounds. XenSource has also joined the Caml Consortium to underline our committment to using state-of-the-art languages such as OCaml in a wider industrial context. For more information on XenSource and to play with our products, check out: http://www.xensource.com/ Drop me a line off-list at: Anil Madhavapeddy if you would like to have a chat and get more information.