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 8DF508240C for ; Mon, 14 May 2018 16:23:29 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mark@dfinity.org; spf=None smtp.mailfrom=mark@dfinity.org; spf=None smtp.helo=postmaster@mail-ot0-f177.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mark@dfinity.org) identity=pra; client-ip=74.125.82.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mark@dfinity.org"; x-sender="mark@dfinity.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mark@dfinity.org) identity=mailfrom; client-ip=74.125.82.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mark@dfinity.org"; x-sender="mark@dfinity.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ot0-f177.google.com) identity=helo; client-ip=74.125.82.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mark@dfinity.org"; x-sender="postmaster@mail-ot0-f177.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AKa1rlhbxZjf55UH2FeS4M/3/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrsi8bnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjul8qlrVQToiD?= =?us-ascii?q?8ZODEl7GHZhMtwjKdBrxKgoRx03orYbY6ROfZ7eK7WYNEUSndbXstJVyJPDICy?= =?us-ascii?q?YZYRAeUdJutXtZXxqkEUoBeiGQWhBuXiwSJIiH/s2q061vwsHwbc0ww6HNIFrW?= =?us-ascii?q?jao8/7NKccT++11rXIzDXeZP5R3Dfy8pLIchM6rP6RU7JwcMzRyUgzFwLFlFmQ?= =?us-ascii?q?rpblPzyM2+kLrmOV4e1gVee1hG4mrQF8uiOgxsYwioXTgoIUykjI9Ctnz4kuP9?= =?us-ascii?q?K4U1V7bsChEJRLsyGbN5F6QsQ4Q2FnoCo61rMHuZ+nfCgW1psn3QTTZOCAc4iN?= =?us-ascii?q?+h7iWueRITR5hHJ9Zr2wmhey/lK6xu37TMm0305GoTdLktnNsHAN1gDT68idRv?= =?us-ascii?q?t65Eeh1i6D1xvP6u5eJ0A0m63bK4Q8zbIqiJUcrFnDEjf2mUXxka+Walgk9fO2?= =?us-ascii?q?5Oj9frrmoZqcO5dxig7gL6sum9G/AeEiPgcSWGib/Pyw1Kf98kLkXbpKj+E2nr?= =?us-ascii?q?PFv5DdIMQWoLOyDQxN0os76RuyAC2q3MkGkXQHNl5IewyLg5L0N1zMIv31C+q0?= =?us-ascii?q?jU62nzdx3f/GO6XsApXTIXjHl7fsZbN95FRdyAo31Nxf4I5UBq0YLPL9R0P8tt?= =?us-ascii?q?7VAgU2MwyzxObnB9F92Z0EVW2TBa+ZNbvesV6O5u0xP+mBfI0YtTnnJ/Q4+fLj?= =?us-ascii?q?jWU1lFwDcaWzwJcaanK1EuxjI0qDYHrshtkBEX0Nvgo7VOHqjUeNUSRQZ3upQq?= =?us-ascii?q?086DA7CISnDYffRoGhmruB3D20HpFOfGBJFkiMEWv0d4WDQ/oDdDidIsplkjAd?= =?us-ascii?q?UbihSpQh1Q21uQ/hy7tnK/LU9TcCuZLi0th1/ezTmgso+Tx6FcTOm12KGmp9m2?= =?us-ascii?q?dNQz4twIh+p1Z8wxGNy/tWmftdQPla/fABaA40O5PG0/0yX9X7QAHpctmITle6?= =?us-ascii?q?U5OhGz5nHYF5+MMHf0soQ4bqtRvExSf/X+5Mxu67Qacs+6eZ5EDfYsN0ynLIzq?= =?us-ascii?q?4k1gJ0TsVOM2y6l+h47QeBX9eVwXXcrL6jcOEn5ACI7H2KlDHcsE9ZVg9sQOPC?= =?us-ascii?q?R39NPhKL/+S83VvLSvqVMZpiMgZFzpTceK5Da9msikkeAfm6Z4uYbGW2lGO9Qx?= =?us-ascii?q?2Pw+HUYQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AJBgBym/lahrFSfUpWBhYIAQwGgk2BV?= =?us-ascii?q?3soCoMpP4Edk1WDCJRUA1MLI4FUgnWDDAcZBgY0FAECAQEBAQEBAQEBEwEBAQg?= =?us-ascii?q?LCwgoIwxXAYFdDIJ6Fx0BAS4KGA0tCgIkEgEFATWCbDcCgX8PjwmQADyKGG2CH?= =?us-ascii?q?B2CUgEBBYVHgh8IEoEHhWmBI4IThysCAQEBBRKBODuCUxaCPodehR+EDoZqQwm?= =?us-ascii?q?FZ4hqXlg9gyiHVIIphyxLR4VtDwMegQQzVIEfTTAIbAaCDAkWgg+DTmqDB4Ejh?= =?us-ascii?q?V4fMAESBQGNdoJXAQE?= X-IPAS-Result: =?us-ascii?q?A0AJBgBym/lahrFSfUpWBhYIAQwGgk2BV3soCoMpP4Edk1W?= =?us-ascii?q?DCJRUA1MLI4FUgnWDDAcZBgY0FAECAQEBAQEBAQEBEwEBAQgLCwgoIwxXAYFdD?= =?us-ascii?q?IJ6Fx0BAS4KGA0tCgIkEgEFATWCbDcCgX8PjwmQADyKGG2CHB2CUgEBBYVHgh8?= =?us-ascii?q?IEoEHhWmBI4IThysCAQEBBRKBODuCUxaCPodehR+EDoZqQwmFZ4hqXlg9gyiHV?= =?us-ascii?q?IIphyxLR4VtDwMegQQzVIEfTTAIbAaCDAkWgg+DTmqDB4EjhV4fMAESBQGNdoJ?= =?us-ascii?q?XAQE?= X-IronPort-AV: E=Sophos;i="5.49,400,1520895600"; d="scan'208,217";a="326799257" Received: from mail-ot0-f177.google.com ([74.125.82.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 May 2018 16:23:27 +0200 Received: by mail-ot0-f177.google.com with SMTP id m11-v6so14471708otf.3 for ; Mon, 14 May 2018 07:23:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=dfinity-org.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=cCJqF2Tx+37MBeR4ZVLjCZQpHso51fLZikS4CdsrSAU=; b=mdT2B5MiZtoyGJjXrlK3ZycjdsPOM6yiLhPZISaFgIp/RS8GnVZtw0Sqf3U8vQEqUG yFnT7XEy6r3AF46tEQ3FklvKT3s7jx27EgLRDbjf8vYGE3KU0X21P33PTo9bW+V/WtGl xgzeNIwSdPfNlkME2R491/49K8KYP7jM5qFQx+iwyq/ta2p/LJ0aTu0NoXlNeHZKEKIN O4ib5Qm7w10sTbLZ3fIU2NOqsgomO+EdVpcw8O/S/E57zIwi8lp1jS9iTbGWxgoLz7gI HbYkyjvVhbEHf8IXw1RuvJ7tiNTVxvdiHyeU7fQETDOP8+HkRRHgoLmN9lxCWiVsrmNL jkdw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=cCJqF2Tx+37MBeR4ZVLjCZQpHso51fLZikS4CdsrSAU=; b=rtAIQX9p2YuZdmxd5wmIlGQ1aepXaY54DaAJFz7df5QI3wAT7pCWb78B/6gUt0fKbQ kAz5V3ZroCUDVnSd/eBLZjGIF8eNHcWXd929uUjnmQnpnmBfl6TLp/aFSYHKdR9o1mxs jglVN8Bo0qJxS9FzfmMMuGr4r4r1aFzjwObaOn1ZjzYlSmsngON1HX/RO0DjYpWYe5tf tM2MiftaRwKBnD07PIYBiiiYT8hQ2vAWtkycal4tIKcg70Xde/PZFUpwEfpjNTiObYi3 B4zgrL2wk40Ze/EJZHvmBoBWzdP4KnSdOb4Honl14IJ98CW+3joHKaYCN7HgpBB+Flpk c5aw== X-Gm-Message-State: ALKqPweYwnqjRvZFvlVtE7U4NEQC3SFMYLTTX121s/20lLwa6YvqQ/RE tV7oxTa1T+VnsGUK2eOTOm3eTv0jrBZ+SaumTog19Eul X-Google-Smtp-Source: AB8JxZqrGDXq2dwkXYBvqnh8oZ2CGS04fqqdsiXS1L5qkbRuS3c1b7IcLDXQkCcbTrozj5msX27t6E2AUJsrPlkH7go= X-Received: by 2002:a9d:2625:: with SMTP id a34-v6mr7574891otb.308.1526307806215; Mon, 14 May 2018 07:23:26 -0700 (PDT) MIME-Version: 1.0 Received: by 10.201.17.15 with HTTP; Mon, 14 May 2018 07:22:55 -0700 (PDT) From: Mark Rafferty Date: Mon, 14 May 2018 07:22:55 -0700 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="0000000000009bb64a056c2b3a4d" Subject: [Caml-list] Functional Programming @ DFINITY --0000000000009bb64a056c2b3a4d Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Fancy applying your functional skills in the world-changing decentralization industry? Please consider joining the team at DFINITY building the =E2=80=9CInternet Computer=E2=80=9D. Check out some sample functional maestros on the team:- *Andreas Rossberg* Previously a Google Staff Engineer, Andreas is co-creator of WebAssembly , and maintains the reference specification in OCaml. WebAssembly is a fast evolving open virtual machine standard that is already supported by all the major Web browsers and will be run by backend processes on the Internet Computer. In earlier lives, Andreas lead the V8 language team and was a researcher in programming language semantics, type systems, module systems and functional programming. Coding WebAssembly systems is the next big thing! Location: Germany *Paul Liu* Previously an Intel Staff Engineer, Paul is a functional programming specialist who was previously responsible for Intel Labs=E2=80=99 Haskell c= ompiler, which unlocked new levels of performance for software running on advanced multi-core chipsets such as the Xeon Phi. Paul has deep software development experience and currently works on the DFINITY client. He has a PhD from Yale where his advisor was Paul Hudak (one of the inventors of Haskell). Location: California *Ben Lynn* Previously a senior engineer at Google, Ben has numerous claims to fame. These include being the =E2=80=9CL=E2=80=9D from the groundbreaking BLS cry= ptography scheme applied by a DFINITY protocol to rapidly bring massive networks to consensus. Ben currently works on the DFINITY client, his own implementation of a WebAssembly virtual machine written in Haskell, and various new languages and compilers for WebAssembly also written in Haskell. Generally speaking, he likes making cool stuff . Location: California *Maciej Wos* Maciej is a programming language enthusiast with a background in compilers, cloud computing, and financial software. He studied Computer Science at Oxford University and Cambridge University and joined DFINITY after three years at Fugue where he helped build Ludwig, a modular, compiled language for infrastructure as code. Location: Japan *This is just a small sample of people in our fast-growing functional engineering team, which we are seeking to double in size. You will be working for the DFINITY Foundation, which has accumulated enormous funding to pursue one of the most ambitious technology projects of modern times.* Our functional code provides reference implementations for sophisticated distributed protocols, virtual machines, compilers, cryptography and other interesting things. The main requirement is that you are an awesome senior engineer and care about this field. We encourage applications from people with unusual backgrounds (autodidacts, hackers, and all comers). We provide brilliant salaries, benefits and incentive packages. Please contact hiring@dfinity.org Thanks for reading! --=20 *White Paper* | *Media Kit* | *Testnet* | *Twitter* | *Medium* | *Mark Rafferty* Recruiter | DFINITY dfinity.org DFINITY Explainer Video --0000000000009bb64a056c2b3a4d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

Fancy applying your functional skills in the world-changing d= ecentralization industry?

Please consider joining the team at DFINITY building = the =E2=80=9CInternet Computer=E2=80=9D.

Check out some sample functional maest= ros on the team:-

Andreas Rossberg

Previously a = Google Staff Engineer, Andreas is co-creator of=C2=A0WebAssembly, and maintains the refer= ence specification in OCaml. WebAssembly is a fast evolving open virtual ma= chine standard that is already supported by all the major Web browsers and = will be run by backend processes on the Internet Computer. In earlier lives= , Andreas lead the V8 language team and was a researcher in programming lan= guage semantics, type systems, module systems and functional programming. C= oding WebAssembly systems is the next big thing!

Location: Germany

Paul Liu

Previously an Intel Staff Engineer, Paul is a fu= nctional programming specialist who was previously responsible for Intel La= bs=E2=80=99 Haskell compiler, which unlocked new levels of performance for = software running on advanced multi-core chipsets such as the Xeon Phi. Paul= has deep software development experience and currently works on the DFINIT= Y client. He has a PhD from Yale where his advisor was Paul Hudak (one of t= he inventors of Haskell).

Location: California

Ben Lynn

Previously a senior engineer at Google, Ben has numerous claims to fame= . These include being the =E2=80=9CL=E2=80=9D from the groundbreaking= =C2=A0BLS cryptography=C2=A0scheme applied= by a DFINITY protocol to rapidly bring massive networks to consensus. Ben = currently works on the DFINITY client, his own implementation of a WebAssem= bly virtual machine written in Haskell, and various new languages and compi= lers for WebAssembly also written in Haskell. Generally speaking, he likes = making=C2=A0cool stuff.

Location: California

Maciej Wos=C2=A0Maciej is a programming language enthusiast with a b= ackground in compilers, cloud computing, and financial software. He studied= Computer Science at Oxford University and Cambridge University and joined = DFINITY after three years at Fugue where he helped build Ludwig, a modular,= compiled language for infrastructure as code.

Location: Japan

This is just a small sample of people in our fast-growing functional e= ngineering team, which we are seeking to double in size. You will be workin= g for the DFINITY Foundation, which has accumulated enormous funding to pur= sue one of the most ambitious technology projects of modern times.

=

Our fun= ctional code provides reference implementations for sophisticated distribut= ed protocols, virtual machines, compilers, cryptography and other interesti= ng things.

The main requirement is that you are an awesome senior engineer and = care about this field. We encourage applications from people with unusual b= ackgrounds (autodidacts, hackers, and all comers). We provide brilliant sal= aries, benefits and incentive packages.

Please contact=C2=A0hiring@dfinity.org

Thanks for read= ing!


--
=C2=A0White Paper=C2=A0 |=C2= =A0=C2=A0Media Kit=C2=A0 |=C2=A0=C2=A0= Testnet=C2=A0 |=C2=A0=C2=A0Twitter=C2=A0 |= =C2=A0=C2=A0Medium=C2=A0 |=C2=A0=C2=A0


Mark Rafferty
=C2=A0
Recruiter | DF= INITY
=C2=A0
=C2=A0

--0000000000009bb64a056c2b3a4d--