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 30F5B7F98F; Thu, 3 Aug 2017 18:12:11 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=josh@berdine.net; spf=Pass smtp.mailfrom=josh@berdine.net; spf=None smtp.helo=postmaster@out1-smtp.messagingengine.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of josh@berdine.net) identity=pra; client-ip=66.111.4.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="josh@berdine.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of josh@berdine.net designates 66.111.4.25 as permitted sender) identity=mailfrom; client-ip=66.111.4.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="josh@berdine.net"; 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@out1-smtp.messagingengine.com) identity=helo; client-ip=66.111.4.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="postmaster@out1-smtp.messagingengine.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3APxhw7hK4hpb4IK5uk9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgfKP7xwZ3uMQTl6Ol3ixeRBMOAuqIC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwZFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJBUMlNWCJODZ6y?= =?us-ascii?q?YYgBAeQfOuhVtJX9p0ILrReiBQmgGOHixzlVjXH2x6061OEhHBnC0gwnBNIOsG?= =?us-ascii?q?nfocjrO6cITO+1za/IwiveZP5R2zf975PIchA6rP6XQ71wa9feyUgpFwzblFmQ?= =?us-ascii?q?r5LqPy+M2+kLrmOV4e1gVee1hG4mrQF8ujavydwtionPiIIa1ErE+T9lz4YyIN?= =?us-ascii?q?20UEF7Yd+4EJtQqiGVLJF6Td8lQ2FtoCo6xKcJtoKlcycRz5QnwB3fZ+abfIiP?= =?us-ascii?q?5xLuUvuaLzRghH99eb+yhgy+/VW9xuHhTMW530xGojRFn9XUq3wA0xje5tKZRv?= =?us-ascii?q?dh40utwzeC2gHJ5uxKJ00/iLDVJIQ7wrEqk5oeqUTDETHymEXxlKKWcVgk+vS1?= =?us-ascii?q?5+j+ebXmo4OcN5duhgH7LKsugde/Dv43MggPWWib9vqz1Lvs/U34RrVFkOc6nb?= =?us-ascii?q?XesJDfPcgbp6i5DBFJ0os76huyDi2q3MkFkXUaNl5IdwiLg5bpNl3WJfD3F/a/?= =?us-ascii?q?g1CikDdxwPDGO6XsApfKLnjYkLfsZq1y5FBGyAUuzNBf4YxbBqsHIP3tRk/9rM?= =?us-ascii?q?bYAQMhMwyo3+bnD81w2Z8EVmKKBq+VKafSsV6T5uIzOOSMf48UuDPlK/c//fLu?= =?us-ascii?q?jHk5mUUcfaazx5cXZmq4FOx8I0qFeXrsnssBEWASswo5UOPlkliCUTpKa3awWK?= =?us-ascii?q?Iz/So7BZm9DYbDQ4CtmKaO0D26Hp1QfGBGC0qDHW3md4WeCL8wb3eVKcZklnkG?= =?us-ascii?q?UrK6Y44nzxCn8gHgj/JsJ+/QvykZro7L1d5v5uSVmwth2yZzCpG/1HqNB0t5hG?= =?us-ascii?q?8JQTJ+iKJ4ukxVwFqZ3al+jrpeGMAFtKABaRszKZOJl78yMNv1QA+UO47REFs?= =?us-ascii?q?=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DAAwCiSoNZhxkEb0JSChwBAQQBAQoBA?= =?us-ascii?q?RcBAQQBAQoBAYQTA2onjwKPFIFMjWeIXoIELIFggzuEQEMUAQEBAQEBAQEBAQE?= =?us-ascii?q?SAQEBCA0JCCgvgjMkAYJqHQEBKQ4BNAImAmAmihsQrEJrgiaDCAEBBYg9AQEIA?= =?us-ascii?q?QEBAQEBAQEBFwiBC4IdggKDWguHKg8IB4JyDDEwgjGIEYFglhGGWXqNS4F3iEE?= =?us-ascii?q?ThwyRLYRUNoErMiEIJwpbAYJxggQfgXR1iVYBAQE?= X-IPAS-Result: =?us-ascii?q?A0DAAwCiSoNZhxkEb0JSChwBAQQBAQoBARcBAQQBAQoBAYQ?= =?us-ascii?q?TA2onjwKPFIFMjWeIXoIELIFggzuEQEMUAQEBAQEBAQEBAQESAQEBCA0JCCgvg?= =?us-ascii?q?jMkAYJqHQEBKQ4BNAImAmAmihsQrEJrgiaDCAEBBYg9AQEIAQEBAQEBAQEBFwi?= =?us-ascii?q?BC4IdggKDWguHKg8IB4JyDDEwgjGIEYFglhGGWXqNS4F3iEEThwyRLYRUNoErM?= =?us-ascii?q?iEIJwpbAYJxggQfgXR1iVYBAQE?= X-IronPort-AV: E=Sophos;i="5.41,316,1498514400"; d="scan'208";a="233607274" Received: from out1-smtp.messagingengine.com ([66.111.4.25]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 03 Aug 2017 18:12:09 +0200 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.nyi.internal (Postfix) with ESMTP id 00AA620986; Thu, 3 Aug 2017 12:12:09 -0400 (EDT) Received: from frontend2 ([10.202.2.161]) by compute1.internal (MEProxy); Thu, 03 Aug 2017 12:12:09 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=berdine.net; h= cc:content-transfer-encoding:content-type:date:from:message-id :mime-version:subject:to:x-me-sender:x-me-sender:x-sasl-enc :x-sasl-enc; s=fm1; bh=KWpLp9UucvPTAk5GSATdZCdemf2P2sG407f5V3elu Fk=; b=j2mnFpPOskXeTK6675xtqKbeZHH9/r2Ow8nQ3UQw/gNh8/Y2cfb0b09BI ZsNkwRNx3KXBaoHMlk7iD9r/K6CvYINpDoIm95Lw6HfBS7AEKxiN7oSb63OSjs2C VMNNbpmj5mPsJirH/wsO3BO/LbBu4SmKqxqMMZkl55pM0hJijjLLEdyI5U4ARnIy p/tjE9ExKoaOZTDJLFJWOVweAmo2+yIDXulwbB3QGXSRdaab67W6rBCSrV+C8ImL Uhoq90AcsJXSjmA5czBFMSHs1+4eFVOL66u+2WCVjUie46pMvDRDFIpHoJ0wA1LC GB87BIL/RSCB/zszrZECdtIbOM0lw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:message-id:mime-version:subject:to:x-me-sender :x-me-sender:x-sasl-enc:x-sasl-enc; s=fm1; bh=KWpLp9UucvPTAk5GSA TdZCdemf2P2sG407f5V3eluFk=; b=IGoxLGmHppcaMH5r+35mY+gq3SVfkOfIBI 5vg0kuoEzxeZCzUTLFgkeuyb/I+dzDk0CKn5X+m0bBMxyIXPMIGH5S51lMlSCjq0 A8zV0XgENTniq9QCaDIjXUDBe2Ksgl6z2gf1CZpK4OY1z5PY8r45xYaLNoPAMu8b B0+Lvl0GLm9JJ95HucrN+lcl1lqzD+tbUgVSo2VSfWCLsfyHuqZyrWStSgbStlNF FT44N4cFTKvSfl61mu8bWK2ESUoaPFzf2lIv8nsn1rUg+xPD4yM+IKZ1zUyKB1Q9 gZOYabSegy0qMBV1F7DyvToAvSOCtOWSdaT3uGQR/VaWip5603uw== X-ME-Sender: X-Sasl-enc: woXrh8O5RFJi/mbxUSd1xFJjZbr2zb6FJEANv/W+s8d1 1501776728 Received: from [172.16.3.210] (unknown [199.201.66.3]) by mail.messagingengine.com (Postfix) with ESMTPA id 1489724691; Thu, 3 Aug 2017 12:12:07 -0400 (EDT) From: Josh Berdine Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: Date: Thu, 3 Aug 2017 17:12:06 +0100 Cc: Don Stewart To: ocaml-jobs@inria.fr, caml-list@inria.fr X-Mailer: Apple Mail (2.3273) Subject: [Caml-list] Static Analysis Tools team at Facebook hiring The Static Analysis Tools team at Facebook is hiring. We are looking for someone to join the team primarily to work on Infer's an= alysis of C++ code. This is an OCaml development role where expertise in th= e application domain of C++ compilation/analysis is of primary importance. To apply, visit https://www.facebook.com/careers/jobs/a0I1200000LT8aAEAT/ . For more information on Infer, see fbinfer.com and github.com/facebook/infe= r . ---------- Software Engineer, Static Analysis (London, United Kingdom) Facebook's mission is to give people the power to build community and bring= the world closer together. Through our family of apps and services, we're = building a different kind of company that connects billions of people aroun= d the world, gives them ways to share what matters most to them, and helps = bring people closer together. Whether we're creating new products or helpin= g a small business expand its reach, people at Facebook are builders at hea= rt. Our global teams are constantly iterating, solving problems, and workin= g together to empower people around the world to build community and connec= t in meaningful ways. Together, we can help people build stronger communiti= es =E2=80=94 we're just getting started.=20 Facebook=E2=80=99s Static Analysis team is seeking an experienced software = engineer with expertise in C++ and typed functional programming to help bui= ld and improve our analysis tools. You will help design and extend Infer fo= r C++, which is used to find bugs across all Facebook engineering. Our tool= s are written in OCaml, part of the Infer open source static analysis suite= , and we use Clang for the Front End. As a successful candidate, you improv= e our OCaml/Clang toolchain so we catch more bugs in C++. Candidates should= have C++ language, compiler or relevant development experience. This is an= OCaml role, so demonstrated experience in typed FP (e.g. OCaml, Haskell) i= s preferred. We are looking for someone who loves working at scale, where p= erformance, reliability and modularity intersect. Responsibilities =E2=80=A2 Proactively develop software to support analyses on C++ =E2=80=A2 Lead improvements to underlying OCaml code base =E2=80=A2 Work with engineers to identify improvements to our tools Minimum Qualifications =E2=80=A2 B.S. or M.S. in Computer Science or related field, or equivalent= experience =E2=80=A2 Experience with C++ language specification, semantics or compila= tion =E2=80=A2 Strong communication skills Preferred Qualifications =E2=80=A2 M.S. or further study in an language design, functional programm= ing or static analysis =E2=80=A2 Experience designing APIs for language tools =E2=80=A2 Experience with typed functional programming (e.g. OCaml, Haskel= l) =E2=80=A2 Knowledge of C++, Clang or other compiler Front Ends =E2=80=A2 Static analysis knowledge or other formal methods in verificatio= n and correctness =E2=80=A2 Knowledge of OCaml or equivalent typed language