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 A4D917EE5C for ; Mon, 8 Apr 2013 07:30:32 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of stefan@vectorfabrics.com) identity=pra; client-ip=209.85.212.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="stefan@vectorfabrics.com"; x-sender="stefan@vectorfabrics.com"; x-conformance=sidf_compatible Received-SPF: PermError (mail3-smtp-sop.national.inria.fr: cannot correctly interpret sender authenticity information from domain of stefan@vectorfabrics.com) identity=mailfrom; client-ip=209.85.212.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="stefan@vectorfabrics.com"; x-sender="stefan@vectorfabrics.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f171.google.com) identity=helo; client-ip=209.85.212.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="stefan@vectorfabrics.com"; x-sender="postmaster@mail-wi0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhQCADhVYlHRVdSrjWdsb2JhbABRxGGBBRYOAQEBAQcLCwkSBiSDDgMOSAdGAQUBAiESFgWHeQSfIZ1GjyMRglZhA6YgP4QwgXGBNA X-IPAS-Result: AhQCADhVYlHRVdSrjWdsb2JhbABRxGGBBRYOAQEBAQcLCwkSBiSDDgMOSAdGAQUBAiESFgWHeQSfIZ1GjyMRglZhA6YgP4QwgXGBNA X-IronPort-AV: E=Sophos;i="4.87,428,1363129200"; d="scan'208";a="10118133" Received: from mail-wi0-f171.google.com ([209.85.212.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Apr 2013 07:30:31 +0200 Received: by mail-wi0-f171.google.com with SMTP id hn17so2184996wib.10 for ; Sun, 07 Apr 2013 22:30:31 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=x-received:content-type:mime-version:subject:from:date:cc :content-transfer-encoding:message-id:to:x-mailer:x-gm-message-state; bh=xm2lr2b3ef7AbNw6qqhszReloxr7FnpubXbTRxweI1I=; b=ABUygSPZQ6GDuJRsdtAscL8sIuoOjq2yk5oo/bxI6KGxONKOaxVBoQ173RobUVCwaX oOFQaErJkPdGBbO4PS7EOIfAdFhmGUTDSVYdxHfbT8K2Csdyd7cmJFFfGtXRUSlzimMc qT1s2uj1DXJ/lTGy9LI/IarL4cEiL1mpnUguZVwPRZzxQ2z0ZMRRAzELhM0C5EAQVEXM g58dx/Rq79A5VXGbS+evnadZjhGw50B/Ay8Kj0BaTKDFPHaoPkEomiWZ96xYsN3nKTF5 q+4ebwtBM8xHiUrIknz9A2lTQzLLBtEe6LeZgOqFiXUMYaJquxdC3Xyii5wlLHlLOyeA 38EA== X-Received: by 10.194.88.138 with SMTP id bg10mr29150659wjb.13.1365399031158; Sun, 07 Apr 2013 22:30:31 -0700 (PDT) Received: from gloster.home (77-172-123-219.ip.telfort.nl. [77.172.123.219]) by mx.google.com with ESMTPS id q13sm24181956wie.0.2013.04.07.22.30.29 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sun, 07 Apr 2013 22:30:29 -0700 (PDT) Content-Type: text/plain; charset=windows-1252 Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) From: Stefan Holdermans Date: Mon, 8 Apr 2013 07:30:28 +0200 Cc: Martijn Rutten , Alexey Rodriguez Yakushev Content-Transfer-Encoding: quoted-printable Message-Id: <382E52EF-45FB-4DD3-A444-8D0C6D37AA1B@vectorfabrics.com> To: haskell-cafe@haskell.org, caml-list@inria.fr, fp-nl@lists.science.uu.nl X-Mailer: Apple Mail (2.1503) X-Gm-Message-State: ALoCoQnpW0epAgoeWz7iW8GL9tAIfVkADngaUoNXvshtoxxYLb0RXyPBq0YTN7p54Pxv+3aKyYUT Subject: [Caml-list] Vector Fabrics is hiring! [Apologies for multiple postings.] Vector Fabrics is hiring: we are looking for a top-notch programmer to extend our program-analysis and parallelization products. You design and implement algorithms to assist the programmer to create a parallel design from a sequential C or C++ program. You work with our international team of world-class computer scientists and experts in the Haskell / OCaml functional programming languages. Your work is at the forefront of technology, giving you the opportunity to publish your work in major conferences and directly cooperate with processor design companies and domain-specific application vendors. As we are a startup company, you will quickly have a major impact on our products and get to know all aspects of product creation. You will be part of a strongly committed development team and contribute to our agile development process and automated test suites. Interested? Send your CV, GitHub account or other proof of what you can do to jobs@vectorfabrics.com. RESPONSIBILITIES * Design and implement software optimization (e.g. parallelization) algorithms for CPUs and GPUs; * Thoroughly test your code, create automated test suites; * Contribute to our agile development planning and process; * Analyze complex customer applications for optimization opportunities and translate this to new analysis algorithms. PROFILE * Your friends and colleagues describe you as a "rockstar" programmer; your programming ability is way above average; * Demonstrable experience in design and implementation of complex software applications; prior experience in functional programming languages is preferred; * You continuously surprise us with your creative yet pragmatic solutions for complex software problems; * You are strongly committed to deliver working software as early as possible; * You work against very high quality standards. Refactoring is your bread and butter, pair-programming is how you prefer to review your code; * Whatever technologies, languages, or development environments you've been using, we expect you have mastered them in depth, and we expect that you will be able to master any technology, language, or development environment that we need in the future; * You are not afraid to get your hands dirty on low-level code, hijack a malloc() call in the standard C library, port the latest gdb debugger to Android on a jail-broken tablet? You get it done. * Excellent command of written and spoken English. EDUCATION MSc, MEng or PhD in Computer Science or significant relevant experience. ABOUT VECTOR FABRICS Vector Fabrics is a high-tech software company, developing tools for embedded multicore programming. Its technology and expertise is getting widespread recognition in the industry as being innovative and unique in their ability to address heterogeneous multicore application-specific silicon platforms. Due to the advanced nature of its tools, Vector Fabrics operates at the forefront of the next generation of embedded platforms for diverse markets ranging from supercomputers to automotive to cell phones. Vector Fabrics puts absolute priority on hiring top class individuals in key positions. Vector Fabrics=92 team profile is exceptional and its ambition is to hire only individuals that match or surpass that profile. The company pays top salary and offers a challenging, engaging and stimulating work environment with a high degree of responsibility.=