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 036195D5 for ; Wed, 2 Feb 2022 15:57:50 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,337,1635199200"; d="scan'208,217";a="19355954" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Feb 2022 16:57:47 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id AC902E0AC3; Wed, 2 Feb 2022 16:57:46 +0100 (CET) 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 20A04E037F for ; Wed, 2 Feb 2022 16:57:43 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=iguer.auto@gmail.com; spf=Pass smtp.mailfrom=iguer.auto@gmail.com; spf=None smtp.helo=postmaster@mail-wm1-f44.google.com IronPort-SDR: uoUcT6IZIh0nQYgkZKMbaKMSiqo+nGJL4CtHRqzgleRMjvxTaAarBXBK0vATauVwpcuvDV1wNR QVEOBP/se3B97SgFqZm5a0tTM/yl3uiBKMFkAmcz/dDpeJoQIZOyfIZX29VL+pBfIQnOmXp0VI eF9t+farOGOnj9DyFCfVKnsZ0qm3wRqHN/k6O/aLIooj5/UJGXpB43Eio5q5/2Jnj5rQwFtQpS ON3SZ7tLlrxJdJAV4AWoEMfOcBj0/ixRmYxlQzvxBP0wUISEBL+Ga74MzIWKc/bHx85m+jr9Xx naIfFG0ExAWWcKeatIkJUwTX X-IPAS-Result: =?us-ascii?q?A0CRBABdqfphfyyAVdE9HYQEgQd+VysEPIRJjQ+COQEBA?= =?us-ascii?q?QaBFC6DCoU5gmCBBwGFboQBhlCBaAsBAwELAQE1DAQBAYR/BFUBEIJ5Ah0HA?= =?us-ascii?q?QRHAQIEAQEBAQMCAwEBAQEBAQMBAQUBAQECAQECAwQBEwEBDQsQCAoCBQ4TY?= =?us-ascii?q?AFhAwFEgU9VeiUMAjENgiITIoNwFBEdARseAxIQNAMCIAURAQUBCyQGAgEBF?= =?us-ascii?q?weBW4EHAYJkAQMsAgcIoXGBBD2LMoEVBReBAYIJBoFDB30VgW8KGSgNaoFYA?= =?us-ascii?q?gEGCQEIhzKBIAGHL4EZgRCBPAyGGAIBgSUFARIBboJLgmUEkm5VChkYUZQHD?= =?us-ascii?q?BQIKI5ejACSCVgHgyghBYQJhnSLHYYmgwQGDwUugUGCMYZihTuGFxSRTpZKi?= =?us-ascii?q?DmCBgWCS5RHhGwCCgcGECADEi2BF4ENcHCBAYEcgRxOAQIBAQENAQIBAQMBA?= =?us-ascii?q?gECCQEBAgIBAgEBkgeKX0AzOAIGAQoBAQMJjUwBAQ?= IronPort-PHdr: A9a23:tZUpthErnQBU/ekXt3Um151Gf01FhN3EVzX9CrIZgr5DOp6u447ld BSGo6k31hmVAM6LsboE07OQ7/q5HzRYoN6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9sM hm6twrcu8kZjYZhNKo61x/FrmdVd+hMym5kO0+fkwzg6sus+ZJo7jhdte8m+8NcS6vxYr42T aZfDDQoMmA14NPkuBzeRgaR5XUST3sbnANQDwfK8B/1UJHxsjDntuVmwymVIdf2TbEvVju86 apgVQLlhz0GNz4992HXl9BwgadGqx+vuxBz34jZa5yTOfFjfK3SYMkaSHJdUchSWSJODY2zY ZUPAeQcJ+ZVtJPyq0cUoBakGQWhCuHixzlVjXH2x6061OEhHBnB0gwnH9IBqnHUo8voO6wPU u61w7TIwivZb/NQ3Tfy8ozIfQo8qvyLXLJwftfRxlc1Fw/flFqQtJDlPzSO2+QCtmiU9etgV ea1h2E7rAFxpyGiy8ExgYbGmowb0ErL9TllwIkrP924TlZ2bNG4HJZQuC+XOIl7T94/Tm10t ig217IItJ2mcSUXyJoq2gPSZuCIfoSU4R/uVeafLDd5iX95dr+xiAu//Faux+D6S8K63lFKr i9fndnNsHAAzxLT6tWBSvRh4keh3iyP1wHJ5u5YJkA0kLLXK5ogwr42lZocr1nMHi7wmEnsk KCWcUAk9vC06+XpY7XmuoOcOJFuig3kLqsuncm/Dfw3MggPQ2ib/f6z26b58ULlR7VKi+U6k qbYsJDGJcQbu7W2DxVJ3YYk7hayCSqt3tcAnXQfMl5JZBaKg5LqNlzOOvz0EOmzjle2nDpky P3KJrLsDojXInTdjrvtYaxx51NTxQcy19xT+pFZB7ccK/zpQEDxrsbXDhohPgy03ennDNJ92 5sbWW2VA6+ZNLresFGN5u4yOuWMaoAYtTnnJ/gq4P7uinA5mVsDcqWzwZQXb3W4EuxnI0Wff 3Xsns8MHXkWsgc6VuDni12PXSROa3qsXK8w/D42BY2+AYfGXI+tgbiB3CmhHp1RY2BLElGME Xj1d4qaQfcAcjidItJ9kjwDTrWhRIoh2guvtA/+0bZoMu3U+igAuZL5yNd1//HTlQ019TFsE 8uSyWSNT2VtkmMMRj82x7x/rFdmylaD1Kh4m+ZXGcZS5/NPSAc6NITTw/Z0C9DoCUr9eYKJR VKiRf2oHDc6UtUrwpkFZEMuIdi6igH/2H+qDrsRkJSFGZo/7qXG3j76IMMu5WzB0fwEiFkvR 8ZDfUypm6Nl8QzaA4eBx0SWiquwM60BwCnl+2KKzG7It0ZdBl0jGZ7ZVGwSMxOF5e/y4VnPG ufG4dUPNwJAzZXHMa5Wcpjyik0AQv7/OdPYamb3mmGqBB/OyKnfJJHydTA72yPQQFMBjxhV5 WyPYAkxGyq75WvDEDtGGlfmYkeq+u57+zugVkFh9wiRdAV60qatvBschPiSUfQWi7MLpSo77 TxpAFGV0NffCt7GrA1kL+1Hed1oxlBB2CrCshBleJytK6c3nlkFbwF+pF/jzT1yA4RE1Ncv9 TYkkFY0JqWf31dMMTif2PgcI5XxLW//tFCqYq/SgRTF1cqOv7wI8LI+okniuwegEgwj9W9m2 p9bySnU4JKCFwcUXZ/rNyR/vxFnu7HXZDU87ILIxDVtN6ezqDrLx9MuAqMs1B+he95VNK7MG hX1FoUWAM2nKepinFbMDFpMPe9P+bRyNt66cNOJ3aeqOKBrmzfnxWVL7YZh016dojJmQ72A1 JIEzveEmwqfAm2k3RHx74auw9ACOW1Bewj3gTLpD4NQeKBoKIMCCGP1Ztay2s07nJn1HXhR6 F+kAVoCns6vYxubKVLnjmgynQwap2KqnSygwnl6iTYs++Ce0zHD2aLraQYAEmFOTWhmy1zrJ MLn6rJSFFjtdAUvmBa/sAz7yLVWvuJ2MnXUaUhNdinyaWplV+Hj09jKK94K45QuvyJNVe26a l3PUb/xrSwR1Cb7FndfzjQ2H92zkq3whAcyyGeULXIo6WHcZdk13hDHotrVWf9W2DMCAih+k zjeQFambZGl+tCdlpGLte7bNSrpV5JOfDOtxJ6cswO04GRrBVu0mPX7ltD8EAc82DP2zJEwD XSO/Eu6O9O7kfjmeet8NlFlHlr999Z3FuQc2sMriZcc1GJbzpSZ8HwbkHviZNBS2Kbwdn0IF nYAx9/Y5hSg2VU2dCrYgdKkECzHko09O4rfACtewC824sFUBb3B6bVFmXAwuV+ktUfKZuA7m D4ByPwo4XpcgucTuQNrwD/OZ9JaVUReIyHokAyFqt6kq6ACLmegbLWqkkNjgdeJA7SLowUaU 3H8MMRHf2c4/oBkPVTA3WemoIDrZdTKK9sOqhq8nBLJjuwTI5U03Klv52IvKSf2unsrzPQ+h Bpl0MShvYSJHG5q+bqwHh9SMjCmL9NW4DzmirxS29qHx436VIs0AS0FBdG7KJDgWCJXr/nsM ByCVSExumvOU6SKBheRsQ9nty6dSM3tbiDPYiNFkpM6A0PBbE1H3FJKAHNgxcV/T17ygpSmK RYchHhZ50ak+EUSjLswbV+nFD+Y/l/gay9oGsbBakAKv0cSvwGNdpbGpuNrQ3MHpNv48ErUe zbdP0MRXQRrEgSFHwyxYeXovIOdtbDeXq3ncbPPeenc8LQOEa7XmtT/lNMhpW/EN93TbCA9V LtiixYFBTYhXJ2H/ldHAy0Py3CXN5/d9Er6o3cn6Jj4qaujWRqzt9HWVf0PYZM2qkrw2eDaZ qaRnHorc28GkMlXlDmTkv5HmwdD7kMmPy+kFbBK3cLUZITXnKIfTxsSaicocdBN87p5xQ5Vf 8jSltLy0Ld8yP8zEVZME1L7yImvYoQRLmexOUmiZg7DPamaJTDN38D8YL+tAbxWguJOshSsu DGdW0b9NzWHnjPtWlihK+ZJxC2cORVfvsm6fHMPQSD7S8n6bxSgLNJtpTg/wLlxmXaTcGBAb X5zdERCqrDW5iRdw71+F2FH8nt5PLyEliKevIy6Yt4dtfpmBDgxlvoPuixrjesIqngeFLopx Hi3zJYmuVytn+iRxyAyVRNPrm0On4eXpQB5Pr2f8JBcWHHC9RZL7GOKCh1MqcE2b7+n861W1 NXLk7r+bTlY9NeBt8oTGsXObsuaLH0JPh/gGTqSBwwAB23OVymXlwlGnfee+2fA5IA9sYTpk YESR6VzUVU0ErYFDx0gEoBeZphwWTwgnPiQi8tCth/c5FHBAc5duJ7ATPebB/7ifS2Ygbdzb BwN2brkLI4XO+UTNGRtb1B7mMLBHE+CBLilQwVkZw4w5VpIqT1wEjF11EXiZQegpnQUEKzs9 vbTogR7aOUpsjzr5gVvTmc= IronPort-Data: A9a23:toEclqBA5dvmCxVW/6Hlw5YqxClBgxIJ4kV8jS/XYbTApDMn0zYHm mMfXziAb/iONjCkKI10bou09xwCv5bXn4BmOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6jMlkf5KkYAL+EnkZqTRMFWFx2XqPp8Zj2tQy2YLhWVvX0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYo3bRwf5X0 4sciYDqFSE2P+ryscQNbCANRkmSPYUekFPGCX22sMjW0EifNnWwn7NhC0Y5OYBe8eFyaY1M3 aZAeXZdM1ba3bLwnO7TpupE3qzPKOHqM54SoDdp0C3eJfkjSJHHBa7N4Le02R9s1psXR66CD yYfQQpfPRucIAdgAAkWUY0yusWip3/DIjIN/Tp5ooJuuzSJpOBr65DmOd/RP9iLXtl9hVedv muA/mLjAxhcOsb39Nae2nelh+uKgiaiHYxOSPu38fllhFDVzWsWYPELabelibrh1GCYQIwOF 1BOpgwxrO8M3Wy7ceCoCnVUv0W4lhIbXtNRFcgz5weM1rfY7m6l6o4sHm8phDsO5J5eeNA66 rOat4i2WmE34dV5XVrYp+jE92rjUcQABTZaPXdscOcT3zX0TGgOYv/nS99iFOuqi4SwF22sh T+Nqyc6ivMYistjO0SHEbLv02/ESnvhFFZdCuDrsoSNsFkRiGmNOdfA1LQjxawcRLt1t3HY1 JT+p+CQ7foVEbaGnzGXTeMGEdmBvqjZa2KA2QQ3R8J/qFxBHkJPm6gAsVmSw285Y645lcPBP Sc/RCsNvsYIZCLyBUOJS9jpWpVzpUQfKTgVfqmMMoAmjmlZewiA8yVjDXN8LEi8+HXAZZoXY M/BGe71VShyIf0+lFKeHr5BuZd2mH1W7T6MHfjTkkX/uZLDNSX9YepUYDOzghURtvzsTPP9q IYBaaNnCnx3DIXDX8Ug2dVCcAlXfSVnXs2eRg4+XrfrHzeK0VoJU5f5qY7NsaQ890iMvuuXr Hy7RGFCz1/z2S/OJQmQOyJsbbruWdB0qndiZX4gOlOh2n4CZ4ez7fdHJ8FnI+V/rOEzn+RpS /QletmbBqsdRznC/QMbZ8avoYFnciOtmg/TbTGuZyIyfsI7SgGQoo3kcwLj+TMgFC2yscdi8 bSs2hmKE5UGTgVmSs3Rbav3nV+2uHEcnsN0XlfJcoEDIhWyrNAyJnWo3PEtIswKJRHS/Reg1 l6bUUUCuO3Ag44p692W162JqoGeFeEhTEdXGm/s66nvaXvX82+l9o93UOiSeAfbWm6pqr6pY v9Yzq2lPfAKxQ0Ys4d1H7tx968m48rzoLtWklZtEHnRNg75BK5mKWWBx8gJvapIn+cLtQyzU 0OJ299bJbTQZpq8TwBLfFN4Y7TRz+wQlxnT8e8xcRfz6yJA9baaVVlfYkuXgytHIbopaI4oz LtzuMMS7ADj2BMmPszc1XJR/mWIa2MFCuAp6s1cD4jshQ4mjFpFZMWEWCPx5ZiObfRKM1Urc mDI3vuc3+wEyxqQaWc3GFjMwfFZ2cYEtidMwQJQPF+OgNfE2qI60UED6zgxVQgJnBxL3/gpY TpuPkxxYLqLpnJm2JQFUGerFAVMQhae/xWpmVcOkWTYSWiuV3DMfDJhY7fTpBhB/jIOZCVf8 ZGZ1H3hDWTgcvb303ZgQkVisfHiEYF8+wCqdBpLxChZ80TWoAYJg5NCoUINohrjRNw03QjJ+ bUs8+F3Zqn2cyUXpsXXzmVcOas4EHi5yK5qGJmNP5/l2UnTfTiz3X6FLEXZlgZlOanR6UHhY yBxDpsnavl9vRpiahgUAKcNJ/l/m/tBCB/uvF/0DTZujoZzZQaFfH4dGuYSSYPrrxhTfR4BF 77s IronPort-HdrOrdr: A9a23:FQpuU6M1oLadEcBcTvajsMiBIKoaSvp037BZ7TEWdfU1SL36qy nKpp4mPHDP+VMssR0b6Ki90cq7MBfhHPxOkOss1N6ZNWGM2FdASrsSl7cKqweAJ8SUzJ8n6U 4PSdkGNDS9NykcsS842mWF+hQbreVvPJrGuQ4W9RlQcT0= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.88,337,1635199200"; d="scan'208,217";a="4831204" X-MGA-submission: =?us-ascii?q?MDEzBITWA3VXQPKWktb2NvZEIagNs9bx1ySCaN?= =?us-ascii?q?1WAHxXfEDy9omi7fc6jhXknWdZamKaZ9/L5Rw8Jl3cpFJkFpkiU4jRui?= =?us-ascii?q?Nn5sXx77ugWK36ShSTOJLemffWdMT4J6dV9/i7r+uNm+RplHZiUu6S54?= =?us-ascii?q?Zgz9JTFgOo8wPu4OdMeIvUXA=3D=3D?= Received: from mail-wm1-f44.google.com ([209.85.128.44]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Feb 2022 16:57:43 +0100 Received: by mail-wm1-f44.google.com with SMTP id j5-20020a05600c1c0500b0034d2e956aadso4163901wms.4 for ; Wed, 02 Feb 2022 07:57:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:date:mime-version:user-agent:content-language:to:from :subject:reply-to; bh=mlWX1PrwW3/kNGycXrFJyCNjN+eQKmzVbnY5oeaCT9g=; b=BTAm1S8yc+CwcOKPj/EH9sX0pEEkmqoN5RsbkBbs7PMyKinzwW8qbVw3tB7h8Dxq91 UDHStSiP7DqcC6pJreXQdoavVJEHNPLvZVNmabdENwAeHVD1NmiWMqXSSgJG4U4/3wIH hhhUSgNQoUQ6YsPtWmDF3ntuIfoLysA4lTL0hTGKNI29c8Nk7YqkZxQmFlnLVIuxAkFd Bm2to2s7zlE3NBpRJtzSsuX4hmdeON5N+Y20So8DWLVvTnQdDS3UJQzZI4pIiuHNvV1d evq0V7bLWhIrOP0TEILoOMUs6/4T6ELAD8lnT5r94KZIRpL4dD0NhQAdjh+83xKksc3u dhLw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:date:mime-version:user-agent :content-language:to:from:subject:reply-to; bh=mlWX1PrwW3/kNGycXrFJyCNjN+eQKmzVbnY5oeaCT9g=; b=KDzruk/f82vYqc10EGw+WvjKQg2ak04/DhZxwCowYwSbxrTS+KHB/duop71SBSx4KC jt9Jia9q2gtqcFBYWEIr1eB1PrgzjJiibdq9xYpjkQ739gFEWAMPd2f7PMpbWgg8+S2E GH2aqqrjXb20Zo57W8c4LGB2Gg8Qbpd1u6Xy8fkwVAzkiJjoln+Vs9s7Wzgf9+H91S08 gOlxQ4WONEbC/6PiillW4sjCsIYs+Whyx7WPNMZkYNERgneCPV1XUU/6lNNNjK4MtbMY V6xm67+cvygDfxS77ogvJ7JSMl/6Tg8pX9AEuf4O5flZxWzRpzI+ZeDXFfq1LEn95Uxq Ey6A== X-Gm-Message-State: AOAM532GdIpUAUbbeNkMZKy132TaD29D6wT6CBzADHm7fcXmXQ53hQ5m yVEOngqAfPrBjg1V0m3EZcynlJy1G1o= X-Google-Smtp-Source: ABdhPJyhyO18QBEVwf+2ZfeHn1bkYoVWekLYaVll9fSx2nF/CJ5khLc25EAyNn4+dqAz4tAIDPbkgg== X-Received: by 2002:a1c:a98f:: with SMTP id s137mr6718802wme.51.1643817461924; Wed, 02 Feb 2022 07:57:41 -0800 (PST) Received: from [192.168.43.105] ([41.220.146.18]) by smtp.gmail.com with ESMTPSA id z5sm6142081wmp.10.2022.02.02.07.57.40 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 02 Feb 2022 07:57:41 -0800 (PST) Content-Type: multipart/alternative; boundary="------------98w9k2q8t8kBJJ0RtJBhdPKb" Message-ID: <33ffddae-2549-6e87-dd6a-c752e49a4dcb@gmail.com> Date: Wed, 2 Feb 2022 16:57:38 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0) Gecko/20100101 Thunderbird/91.5.1 Content-Language: fr To: hello@functori.com From: Mohamed Iguernlala Reply-To: hello@functori.com Subject: [Caml-list] Functori is hiring/recrute X-Loop: caml-list@inria.fr X-Sequence: 18689 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: This is a multi-part message in MIME format. --------------98w9k2q8t8kBJJ0RtJBhdPKb Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Dear all, Functori, a young and dynamic company based in Paris, is hiring talented engineers/PhDs to expand its team. Please find more details in the announcement (in French): https://functori.com/annonce-recrutement.pdf We are also looking for interns in the fields of programming languages, formal methods, and blockchains (details available on request). Feel free to share with anyone who may be interested. Best regards. ------------------------------------------------------------------------ Mohamed Iguernlala COO & co-founder at Functori. Senior R&D Engineer. Blockchains, Formal Verification, OCaml dev LinkedIn ------------------------------------------------------------------------ Functori SAS. Tailor made solutions built with fun. Blockchains, Tailored Dev, OCaml & DSLs, Research & Dev, Formal Reasoning Website Email LinkedIn Twitter Gitlab Github ------------------------------------------------------------------------ --------------98w9k2q8t8kBJJ0RtJBhdPKb Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit

Dear all,

Functori, a young and dynamic company based in Paris, is hiring talented engineers/PhDs to expand its team. Please find more details in the announcement (in French): https://functori.com/annonce-recrutement.pdf

We are also looking for interns in the fields of programming languages, formal methods, and blockchains (details available on request).

Feel free to share with anyone who may be interested.

Best regards.


Mohamed Iguernlala
COO & co-founder at Functori.
Senior R&D Engineer. Blockchains, Formal Verification, OCaml dev
Functori SAS. Tailor made solutions built with fun.
Blockchains, Tailored Dev, OCaml & DSLs, Research & Dev, Formal Reasoning


--------------98w9k2q8t8kBJJ0RtJBhdPKb--