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 3B7F57FACB for ; Tue, 2 Sep 2014 12:20:50 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of thomas.braibant@gmail.com) identity=pra; client-ip=74.125.82.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.braibant@gmail.com"; x-sender="thomas.braibant@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of thomas.braibant@gmail.com designates 74.125.82.43 as permitted sender) identity=mailfrom; client-ip=74.125.82.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.braibant@gmail.com"; x-sender="thomas.braibant@gmail.com"; 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@mail-wg0-f43.google.com) identity=helo; client-ip=74.125.82.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.braibant@gmail.com"; x-sender="postmaster@mail-wg0-f43.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoIBALWZBVRKfVIrm2dsb2JhbABZg2BXBIJ4s0qRQ4hXCBYQAQEBAQEGCwsJFCmEHBEdARsRDQMSEA8CJgIkAREBBQEiKAcGiAsBAxENlXmDGWuLK4FygxCJLgoZJw1mhH0BBQ6BHpEhgVMBBI8dgxWDLYZ9gVuND4RCGCmFFDsvgk8BAQE X-IPAS-Result: AoIBALWZBVRKfVIrm2dsb2JhbABZg2BXBIJ4s0qRQ4hXCBYQAQEBAQEGCwsJFCmEHBEdARsRDQMSEA8CJgIkAREBBQEiKAcGiAsBAxENlXmDGWuLK4FygxCJLgoZJw1mhH0BBQ6BHpEhgVMBBI8dgxWDLYZ9gVuND4RCGCmFFDsvgk8BAQE X-IronPort-AV: E=Sophos;i="5.04,447,1406584800"; d="scan'208";a="77427482" Received: from mail-wg0-f43.google.com ([74.125.82.43]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Sep 2014 12:20:34 +0200 Received: by mail-wg0-f43.google.com with SMTP id a1so6545405wgh.2 for ; Tue, 02 Sep 2014 03:20:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type :content-transfer-encoding; bh=U3s2goxsn4EOdrG/ZwCHRl81BFwze8UnSVSw1LbaHQE=; b=goafqouCcMnNZT7fa5stAVpiOvaYxXUAd64GOg3EbBeT2UPJo1PRH26orcFwWCZiSp WOh9NeDl5HkEddTYw20jIjEqb/1QEZvlDMwUeSuncUNEUHG0kGRvRzpLji0f0Zdkp3WT nIAS90W1vcHdl5DN/0o+UzQg4RE8C/oYFXLa6MfFNnccqVWfwuebzf/lPBkVWx/+c5cM eYwEt2P6MheRyR5pugdOdAJe3oeNZ7Xw8KGzyKNRDCYcF+kLoPBf40lunWmZbD+wSozo TYmc+Kv7W8C7yjsRWj7SJwkGSDhWDhMtWLa01AhB8OzMBNWrGD+OM4Kh4IAq5e8lzbig sOUg== X-Received: by 10.194.243.230 with SMTP id xb6mr2085990wjc.100.1409653233218; Tue, 02 Sep 2014 03:20:33 -0700 (PDT) MIME-Version: 1.0 Received: by 10.194.79.231 with HTTP; Tue, 2 Sep 2014 03:20:13 -0700 (PDT) From: Thomas Braibant Date: Tue, 2 Sep 2014 12:20:13 +0200 Message-ID: To: OCaML Mailing List Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Cryptosense is hiring! Cryptosense produces software that finds vulnerabilities in the cryptographic systems used in banks and other security-sensitive environments. We specialise in security analysis. Based in downtown Paris, we use OCaml as our core language because it's the right tool for the job, though we also occasionally use other languages when appropriate (e.g., C, Java, Javascript). We are expanding our team and need an outstanding engineer with a taste for difficult algorithmic problems and performance engineering challenges. The ideal candidate will have a masters or PhD in a related area and some experience of at least one of: formal methods, model checking, cryptography or machine learning. At Cryptosense, we encourage developers to be autonomous and take ownership of problems as well as fostering a culture of team spirit and knowledge sharing. We are building a strong internal training programme to bring you up to speed in every area. The remuneration package includes a salary commensurate with experience as well as stock options. For info, Cryptosense is a spin-off of Inria created in 2013. We recently closed a seed funding round with one of the best-known VC firms in Paris. You can find out more about Cryptosense on the company blog http://cryptosense.com/blog/ and more about working for us on our jobs page http://cryptosense.com/working-at-cryptosense/ =E2=80=8E Let me know if you are interested or know someone who might be interested. Romain Bardou and myself will be present later this week at ICFP if you want to chat about what we do. Thomas Braibant