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 c5ff346549e7 (Postfix) with ESMTPS id 4688D5D5 for ; Sun, 20 Jan 2019 17:56:21 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,499,1539640800"; d="scan'208,217";a="364957705" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Jan 2019 18:56:19 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3B84282578; Sun, 20 Jan 2019 18:56:19 +0100 (CET) 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 973597F61F for ; Sun, 20 Jan 2019 18:56:13 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nswamy@microsoft.com; spf=Pass smtp.mailfrom=nswamy@microsoft.com; spf=Pass smtp.helo=postmaster@NAM02-CY1-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3AM2nx9B/Xt4OLP/9uRHKM819IXTAuvvDOBiVQ1KB2?= =?us-ascii?q?2uIcTK2v8tzYMVDF4r011RmVBdWds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+557ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMsrrQ7ApQjSi97lkRwP0iC?= =?us-ascii?q?kJMD459XvYis12jKlGpB6sqBhyz4vSbYqINvRxY7ndcMsaS2RfQ8hRSyJPDIC9?= =?us-ascii?q?b4QTAOUMJvxXo5Xhq1YUsReyGRegCeXywTFInH/22qg63vw5HwHH3wwgH9MOsH?= =?us-ascii?q?DJp9voOqYdS+W1zanVxjjEafNWwjn855LNchEhuvyMWLNwftbLyUkoDAPFiVuQ?= =?us-ascii?q?qZD/MzyJ0eQNtnGW4ux9XuyhjG4nrht+ojmpxso0hYnJh54VylDZ9Spi2oo1JN?= =?us-ascii?q?q4RFZ1Yd6/DJtfrTuaO5JyQsw4RWFotzw2yrocuZ60eiUB1ZcpxwbHZvGIb4SE?= =?us-ascii?q?+A/vWPqTLDtihn9oeaiziwuv/US+0uHwSMi53EpXoidAk9TAqm4B2hnX58SZVv?= =?us-ascii?q?dx40Ks1SiU2A3R7uxJJFw7mbbFJJ4vx7M8i4YcvlrdEiLzlkj5l6ubdksh9+Wm?= =?us-ascii?q?6OnofrHrqoeSN4BqiQzyLqEjl8mlDugkMQUBQm2W9Oai27Dn/0D0RalFgeY4n6?= =?us-ascii?q?XFtZ3XJMYWqrO9DgJTz40t8QywDy2839QdhXQHLExKeBaAj4XxI1/DPPf2Aeuh?= =?us-ascii?q?j1i1jjpkxe3KMqTmAprWMHfPirDhfath60FHzwoz0NZf6I9OBrEZOvLzXVPxu8?= =?us-ascii?q?LEAR8lMgy0xODnBM961oMDRWKPBqiZMKTRsVOS+u0vJOyMaJcUuDb7Nfcl++bj?= =?us-ascii?q?gHAllVMHYKWlwZkaZGq6E/lnOUmVfGfgjskZHWcPpAU+TejqiFOYUT5UYna/R6?= =?us-ascii?q?Q85io1CY28CIfCRpuggLmA3CinBJ1WYXtGCleCEXf0bYmLR/AMaCeKLs97jjME?= =?us-ascii?q?TaShS5Mm1Ry2qAD10b9nLu7N9i0ctJLjz8R16vbIlRAy8Dx0F96S33uMT2FyhG?= =?us-ascii?q?MIRiU50LpxoUxnmR+/1v0yiPVdEZlX5uhVegY8L5/VieJgQZimUQvEepKNSU26?= =?us-ascii?q?atSgGzA4CNwrlYwgeUF4TvOjjRDC22KRHLYQhvTfAocr+6fN933wLNx60HHIyO?= =?us-ascii?q?8qiFxwEZgHDnGvmqMqr1ubPIXOiUjMy/fzJPYsmRXV/WLG9lKg+URRUQp+S6LA?= =?us-ascii?q?BC1NY0rdt9Pi4U3eCbSpDOZ+a1cT+Yu5MqJPL+bRoxBeXv66ZYbbYmmrnHy3Cw?= =?us-ascii?q?rOzbSJPtKzJjctmR7FAU1BqDg9uHaLMQ9iWXWHikeGVnlFJAuqZEnht+5jtHm8?= =?us-ascii?q?U0k4iRmQaFFs3Ka0/RhTguGAT/QU3fQPvyJz8jg=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AnAgAXtURch3BMayhigyUjUGlwAwQLJ?= =?us-ascii?q?4dIA4Uvij2abIFnDAEfDYFLgnUCgncGAQQ0EgEDAQECAQEBAQETAQEBCA0JCCk?= =?us-ascii?q?jAQuCOgyDHBwTAQE4EQFHORQSAQQTCIMaAYEdZQKYLAGHSQKKEwEBAYIegncBA?= =?us-ascii?q?QWHGwMFjFiBQD+BV4VqAoElPiuDDYImihOFYJIvCYckiw+BZoUuiwCKBJByAgQ?= =?us-ascii?q?CBAUCDQEBBYFdgXczEwcIGxWDJ4I1g1SCZIIwhT9BMYEoiG4BAQ?= X-IPAS-Result: =?us-ascii?q?A0AnAgAXtURch3BMayhigyUjUGlwAwQLJ4dIA4Uvij2abIF?= =?us-ascii?q?nDAEfDYFLgnUCgncGAQQ0EgEDAQECAQEBAQETAQEBCA0JCCkjAQuCOgyDHBwTA?= =?us-ascii?q?QE4EQFHORQSAQQTCIMaAYEdZQKYLAGHSQKKEwEBAYIegncBAQWHGwMFjFiBQD+?= =?us-ascii?q?BV4VqAoElPiuDDYImihOFYJIvCYckiw+BZoUuiwCKBJByAgQCBAUCDQEBBYFdg?= =?us-ascii?q?XczEwcIGxWDJ4I1g1SCZIIwhT9BMYEoiG4BAQ?= X-IronPort-AV: E=Sophos;i="5.56,499,1539640800"; d="scan'208,217";a="364957685" Received: from mail-eopbgr760112.outbound.protection.outlook.com (HELO NAM02-CY1-obe.outbound.protection.outlook.com) ([40.107.76.112]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 20 Jan 2019 18:56:11 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=gQEcJyrbmcrx8xL7Si1vBed93y6BnUTrx2JfoODxY4o=; b=P+ex/l3e607wcyHrgsz7m4d+yjmmMQiOmIK2qC9ugpxSCx9Fg7HHKoXi09I8MiN5li3RPGwN6gTjwWE89z8GCRM1gPt6aaXM/jCih1w/F9815VxBNFsU/7vVLIL+WFFrQ6q56LYT9R7tDC8x64w4oDH/iA0AEABa4Unhf1NMvNQ= Received: from MW2PR2101MB1084.namprd21.prod.outlook.com (52.132.149.25) by MW2PR2101MB0940.namprd21.prod.outlook.com (52.132.146.13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1558.3; Sun, 20 Jan 2019 17:56:08 +0000 Received: from MW2PR2101MB1084.namprd21.prod.outlook.com ([fe80::a08d:7e97:cb30:6719]) by MW2PR2101MB1084.namprd21.prod.outlook.com ([fe80::a08d:7e97:cb30:6719%4]) with mapi id 15.20.1558.013; Sun, 20 Jan 2019 17:56:08 +0000 From: Nikhil Swamy To: "caml-list@inria.fr" Thread-Topic: [Job] Contractor to work on F* and Project Everest Thread-Index: AdSw6HocxoTJA6JBSgC+gac7fKeu9A== Date: Sun, 20 Jan 2019 17:56:08 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [2601:602:9201:2b79:c0ef:1ce2:3b9f:38c9] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;MW2PR2101MB0940;6:gkk1lzekg/pNAYmP66l7vbMK/ayBcyTK23senUhe0A0M2Lgqgn6FGjDNKj2OzEXREHeI8fa31MbiALqSqTpO6anRKD4Im8EBs5QR4aSvWb/0T8HTGD1KSbyidOSTg1Q0XwwHDNyJX53iNXAAapNkaxUe8U76LvUMqv9GZYKerdL/1UOnE856tkadICkkShTGqitT2i1o6gsGi3LT7se2HhZ1fQGtARfbMvZO84mrXgOSYt43W0tQugqOdgbsOQUjXAIYxlZanq5lecfkSrYTK9KOMEfvh/WGedMJ7BiQ6dY9OU5zExaooJkAuWPiMpzm5CTQ/0HChcDhj/bbBZO3kosKzNXLotHj/qRRffBrWRfPUM94HN1ex2ssqB7O6sva7ODywOrLqj6hoR9KQo0t22WydoyvcxBvR7Kxal18FGpd0DZ+HGIDG0Kd0Pu7Rfi97XkazAdTxAeux55pXULxPg==;5:AYd+7o+CoDbHOCPUhDq9bvnIEQ+8wcAz4r+IBQGLg4mty5GZ528HSc/gfAhEcZVWaA+vabVPzZJEA2BLFTcVsj1FE5NTwWEqCwu6bJnrOm4Bms/H39n8LUQXhhh4TOyRR7RqmdSG7ay1Hpc/q2YpHj00FSfqmGoeeDQ3xWP8EexbTKU+fm6q0pPCgS6nsIS0ejBrzDcE00VRx2LYQzepSg==;7:Y1xNsBKwJNN6CSqp0ueLHt7tSOXIph0t6gsjKjpJqsNnldM+4urvcei9LH0OQm4lgfcD/O4RMcGkkRW4iQxYOlCYaz2r5eJMSCl5NDdlBmqVOdtCy55QCDFQyi3oH9UHVPEx/SgSPlbsPMzrjvTusg== x-ms-office365-filtering-correlation-id: 2e2cec6a-aaee-4304-f58e-08d67f008e41 x-ms-office365-filtering-ht: Tenant x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(8989299)(5600109)(711020)(4618075)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(2017052603328)(7193020);SRVR:MW2PR2101MB0940; x-ms-traffictypediagnostic: MW2PR2101MB0940: x-ms-exchange-purlcount: 2 x-o365-sonar-daas-pilot: True x-microsoft-antispam-prvs: x-forefront-prvs: 0923977CCA x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(376002)(346002)(396003)(136003)(39860400002)(366004)(199004)(189003)(476003)(8990500004)(14444005)(256004)(33656002)(10090500001)(6346003)(316002)(22452003)(46003)(186003)(74316002)(7736002)(25786009)(2906002)(8676002)(53936002)(6116002)(790700001)(236005)(9686003)(6306002)(54896002)(8936002)(81156014)(81166006)(5640700003)(6436002)(966005)(102836004)(14454004)(7696005)(6506007)(6916009)(106356001)(105586002)(10290500003)(68736007)(2351001)(71200400001)(55016002)(71190400001)(478600001)(86612001)(97736004)(2501003)(86362001)(606006)(99286004)(486006);DIR:OUT;SFP:1102;SCL:1;SRVR:MW2PR2101MB0940;H:MW2PR2101MB1084.namprd21.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: 0uUI0ZpGML1eRjh/G4j4FBv5MNtcOQi5MioRRBjwOBcLYXhENnb5/sFsqPPrSo0yQAZoXbY8I2iAZlsxwdlgmsSwaLURXK3Juhcvp+3RBxsgDCQf7Gg7hKVX+JcwxwMmeBfz2qJy0l9179/OrtW7Z1H/UhV9WkQq3GZ3VkoYNJkQc42IAfcX1Yov4AP9Wx9RDr2qgyvU4VB8F9iQTdspwgvcr2Y/E6hylqYn/OSdis0YsezZMB6nB8BqoQLEUmcU1BEXqOzTyfYlPmVS3pfwRAvDnP+cI4smnFTRTH7//ocVyduQOHseRpD0W9GmGYmvXnx0M0gBWDsdbuPsZNGgzEh2LHdgNfS8p6HMJ/f5MWdKXeILjElxxamAFsij3WoppSwdFP9Jz8TkIpXBGF8T8Rq+PFopbKZVpild8ODiRbc= Content-Type: multipart/alternative; boundary="_000_MW2PR2101MB10844F1BB2E13225DFEBE4AADE9E0MW2PR2101MB1084_" MIME-Version: 1.0 X-OriginatorOrg: microsoft.com X-MS-Exchange-CrossTenant-Network-Message-Id: 2e2cec6a-aaee-4304-f58e-08d67f008e41 X-MS-Exchange-CrossTenant-originalarrivaltime: 20 Jan 2019 17:56:08.2178 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 72f988bf-86f1-41af-91ab-2d7cd011db47 X-MS-Exchange-Transport-CrossTenantHeadersStamped: MW2PR2101MB0940 Subject: [Caml-list] [Job] Contractor to work on F* and Project Everest Reply-To: Nikhil Swamy X-Loop: caml-list@inria.fr X-Sequence: 17313 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --_000_MW2PR2101MB10844F1BB2E13225DFEBE4AADE9E0MW2PR2101MB1084_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Microsoft Research is looking to hire a short-term contractor (part-time, f= or 3-6 months with some possibility for extension) to work on F* and Projec= t Everest. See https://fstar-lang.org and https://project-everest.github.io= for more information. An ideal candidate would have several of the following skills: * OCaml, including ocamlbuild * Makefiles and build systems * Emacs and elisp * Docker * Git * Willingness to work with bleeding edge research tools * Ability to work in geographically distributed environment (flexible w= ith timezones, good at written communication, etc.) * Some understanding of, or at least curiosity to learn about, program = verification The work would not necessarily lead to publishable research, but it would i= nvolve working in an engineering role on open-source software, in close col= laboration (though remotely) with a large PL/Systems/Security research team. Please reply directly to me (nswamy@microsoft.com) if you are interested. Best regards, Nik --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs= --_000_MW2PR2101MB10844F1BB2E13225DFEBE4AADE9E0MW2PR2101MB1084_ Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

Microsoft Research is looking to hire a short-term c= ontractor (part-time, for 3—6 months with some possibility for extens= ion) to work on F* and Project Everest. See https://fstar-lang.org and https://project-everest.github.io for more information.

 

An ideal candidate would have several of the followi= ng skills:

  • OCaml, including ocamlbuild
  • Makefiles and build = systems
  • Emacs and elisp
  • Docker
  • Git
  • Willingness to work with bleed= ing edge research tools
  • Ability to work in geographica= lly distributed environment (flexible with timezones, good at written commu= nication, etc.)
  • Some understanding of, or at least cur= iosity to learn about, program verification

 

The work would not necessarily lead to publishable r= esearch, but it would involve working in an engineering role on open-source= software, in close collaboration (though remotely) with a large PL/Systems= /Security research team.

 

Please reply directly to me (nswamy@microsoft.com) if you are interested.

 

Best regards,

Nik

--_000_MW2PR2101MB10844F1BB2E13225DFEBE4AADE9E0MW2PR2101MB1084_--