From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 7D5F97EE25 for ; Wed, 13 Nov 2013 09:44:31 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.93,690,1378850400"; d="scan'208";a="42475488" Received: from dhcp-rocq-62.inria.fr (HELO [128.93.62.62]) ([128.93.62.62]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 13 Nov 2013 09:44:31 +0100 Message-ID: <52833BEF.6020406@cryptosense.com> Date: Wed, 13 Nov 2013 09:44:31 +0100 From: Romain Bardou User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.12) Gecko/20130116 Icedove/10.0.12 MIME-Version: 1.0 To: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Validation-by: romain@cryptosense.com Subject: [Caml-list] Software engineer position available at Cryptosense Cryptosense is a start-up company which develops formal tools for finding and fixing security flaws in cryptographic systems. We use model-checking and symbolic machine learning techniques, amongst other technologies. Our tools are developed in OCaml. Cryptosense is recruiting a junior and a senior software engineer. Profile ======= You are an experienced programmer or recently qualified PhD. You are proficient in at least one functional language. You want to be part of a team of developers who follow agile programming principles, and exchange and review each other's code. You like to think outside the box to discover unexpected behavior that might lead to security flaws. You are at ease holding technical conversations in English. Job description =============== You will be part of a small team during the exciting times of the emergence of a new company. Your work will have great impact on the company's products, which are already being used to secure critical infrastructure of organisations worldwide. You will contribute to the design and code of robust software. Depending on your skills and interests, you might work on one or several of the following: - automatic reverse engineering and learning of the behaviour of API implementations; - model-checking algorithms dedicated to finding cryptographic key management vulnerabilities; - domain-specific language to model cryptographic key management APIs, similar to software verification; - use of this DSL to model new APIs; - robust monitoring and filtering tools; - graphical user interfaces. Expertise in system and server administration (Linux) is a plus. You could be given responsibility for the stability of our server for our clients. Salary is negotiable and will depend on experience. Stock options are a possibility. The positions will be available from December 2013. Location ======== Our office is located in Paris, between Montparnasse and the Jardin du Luxembourg. Contact ======= Send your CV and cover letter to jobs@cryptosense.com. Informal enquiries are also welcome. http://cryptosense.com/ -- Romain Bardou Cryptosense 96bis boulevard Raspail, 75006 Paris, France +33 (0)9 72 42 35 31