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 ESMTP id 3718F5D4 for ; Mon, 21 May 2018 20:25:08 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,427,1520895600"; d="scan'208";a="327767429" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 May 2018 22:25:05 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 47A1082451; Mon, 21 May 2018 22:25:05 +0200 (CEST) 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 53D648240C for ; Mon, 21 May 2018 22:24:56 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kk.nkt33@gmail.com; spf=Pass smtp.mailfrom=kk.nkt33@gmail.com; spf=None smtp.helo=postmaster@mail-oi0-f54.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AhMhVixMl/+SdXqewdHIl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lf35rarrMEGX3/hxlliBBdydt6ofzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlGiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kHOTA383zZhNJsg69AvBKtuwZyz5LIbI2JNvdzeL7Wc9MARWpGW8ZcTylPDZ29?= =?us-ascii?q?b4sMCOoKIP5WoJP+p1QUsRuxHxSnCeTsyj9LnHP226460/gvHAzIxwEgENcOv2?= =?us-ascii?q?7VrNXxLqsdTee1zKzRwDjFcvhY1zD96I3SfRAgp/GBRalwftDJyUU1CwzFiVCQ?= =?us-ascii?q?pIr4ND2WzuQAq3aX4/ZkWO61iGMqqxt9riayysovkIXEho0Yx1bZ/itj2ok1P8?= =?us-ascii?q?e3SEtjbN6kDpRQsyaaOpNzQsw4QmFovD82yroHuZKnZSQKxpQqyhHFZ/yIdIiI?= =?us-ascii?q?5R3jVOKPLjtimH1lf7e/iw6z8Uim1OL8StG53EhWoidBiNXBtXAA2wbN5sSaSf?= =?us-ascii?q?Zx5Ees1DmX2wDW8O5EIEQ0laTBK54mx749jpkTsUfZEi/wm0X2kKGbe0s/9+in?= =?us-ascii?q?7uToeLTmppuGO4BojQH+N7wimtajDuQgLggOQ2+b9Pyg27L5+E35RKxGjvk3kq?= =?us-ascii?q?nCrJDXPt8bp668Aw9NyIkv8Re/DzG80NQZh3YLNlxFeAjUx7TublrHJfS9Cfak?= =?us-ascii?q?n3ytli1qzrbIJO7PGJLIe1vOkbTmNZB06EdAwUJnztMZ4ZFIUeopL/f6W0u3v9?= =?us-ascii?q?vdWExqezeoyvrqXY0unrgVXniCV/fAYfHi9GSQ7+dqGNGiIYocuTLzMf8gvqe8?= =?us-ascii?q?gnowmFtbdq6sj8JONCKIW89+KkDcWkLCx88bGD5T7AU7Re3uzlaFVGwLPivgb+?= =?us-ascii?q?cH/jg+TbmeI8LDS4Sq2uHT2S66GthRZzgDBA3QV3jvcIqAVrEHbyfAesI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DACgDCKQNbhjbaVdFbHgEYBoNbMgtPL?= =?us-ascii?q?iiDdYNtkQtCBwEBBoEkgROGcxxZjUYLBSCGYhkHAQQzFQECAQEBAQEBAQEBEwE?= =?us-ascii?q?BAQgLCwgoIwyCNSKCex0BGx4DEhAPAiYCJAERAQUBNQiDGgKBZgEDCA0PmXKDH?= =?us-ascii?q?jyLBYF/BQEXgnAFg04KGSYNVFAHggcCAQUSd4csgQyBB4NrAoM/AQMBgimCNIJ?= =?us-ascii?q?UAoEjAQGGO1aQFQEGAQEBgSuEP4htgSkOg22GSIERiV+HCQ8hgQQygXQzGiOBA?= =?us-ascii?q?WyBJhOCGxqDNIpUPTCQTwEB?= X-IPAS-Result: =?us-ascii?q?A0DACgDCKQNbhjbaVdFbHgEYBoNbMgtPLiiDdYNtkQtCBwE?= =?us-ascii?q?BBoEkgROGcxxZjUYLBSCGYhkHAQQzFQECAQEBAQEBAQEBEwEBAQgLCwgoIwyCN?= =?us-ascii?q?SKCex0BGx4DEhAPAiYCJAERAQUBNQiDGgKBZgEDCA0PmXKDHjyLBYF/BQEXgnA?= =?us-ascii?q?Fg04KGSYNVFAHggcCAQUSd4csgQyBB4NrAoM/AQMBgimCNIJUAoEjAQGGO1aQF?= =?us-ascii?q?QEGAQEBgSuEP4htgSkOg22GSIERiV+HCQ8hgQQygXQzGiOBAWyBJhOCGxqDNIp?= =?us-ascii?q?UPTCQTwEB?= X-IronPort-AV: E=Sophos;i="5.49,427,1520895600"; d="scan'208";a="327767392" Received: from mail-oi0-f54.google.com ([209.85.218.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 21 May 2018 22:24:55 +0200 Received: by mail-oi0-f54.google.com with SMTP id k5-v6so14167186oiw.0 for ; Mon, 21 May 2018 13:24:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=K3cDM/5+zm72W1hbdzatrw/qAwS/PTL8O6o33uuAJo0=; b=gnGjH5yoMDhl0oJkb7rDnmB3emSu6Umxl6zr2BamP0bcuLoS5CeWonl0GVGoeihC/h Fl5MFcY7P6XOzQgc7mmtuIVSEYGgazoeaVKOdypOMTVWXZE0z+CR1tppd7HpqQrKxI68 +bVEgVIqKGXVVlorA0TAR/Pndou+nK6RKfp6c5sYzypPTIoox4LGcmGNwA463spQQ3aw SPvi4YSprJGDTiGM+4JqNPF6gJLHQR2qRqp0pqvo4tep3f/eIyHCkbHS92CTBeMHSmAg 0AYPuB/sUlnpbfeAkFKYStWLKjOiQfzJWFTdicgyyg68OrwL52bL+34iQui++ykFa+38 n06w== 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=K3cDM/5+zm72W1hbdzatrw/qAwS/PTL8O6o33uuAJo0=; b=bqO1dcdSZh8CPGb7ev2EuwwyqOb1YWvLfR5030dEQ9Vhno7OQs9npDHxee3enPafmC 6skkBPXBVFwg9Z1eGkOlBFOu/BmiPADMeulvyYO87uUWG4GTU5ua65EV02mzsVPlKr6j B88btLtvsstpnCwZhLFtoohhK+ZEVsJtf7LkIXpHd5sKoZIRXyfd3Otf0W99NMXeZgTN HpbdP8mSi8jM/dnGPtz9DXmWcp+mJsRgHxeU3Diui6CDKqcxut+D7UTiuoedZff0Mo4S HOnBssEvO77oMEfP811JX6oOFNenxY8Jxi75j+Pd2MiKz/Ej1hHX89yUi/kRcqvrjETx h1Tg== X-Gm-Message-State: ALKqPwc77rwyf50Fe9OPuFVtzS32/ezH5OmBIQ4ob+FXUduek6lkKuVx IgR31JvzU7Sf3226hvLSfDS2LY2GBrbyBcbAI61dxt9p8Lc= X-Google-Smtp-Source: AB8JxZpOnYlzVEIQ5LRcD6QTtx6wWQLLyc+1CKkzmj9h2f3XjbCrqj9LiPVS9QqUyadN/8VWpEBiggxgBuDorjaE9ZM= X-Received: by 2002:aca:4e90:: with SMTP id c138-v6mr13014721oib.47.1526934293986; Mon, 21 May 2018 13:24:53 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a9d:116f:0:0:0:0:0 with HTTP; Mon, 21 May 2018 13:24:53 -0700 (PDT) From: Keiko Nakata Date: Mon, 21 May 2018 22:24:53 +0200 Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] OCaml/Reason/MirageOS Internships at SAP Innovation Center Network (Postdam, Germany) Reply-To: Keiko Nakata X-Loop: caml-list@inria.fr X-Sequence: 16902 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: Our team at SAP Innovation Center Network in Potsdam (Germany) is looking for internship students to research, evaluate and extend MirageOS in the context of cloud applications. Please check out the job descriptions at https://jobs.sap.com/job/Potsdam-Intern-Mirage-OS-Research-&-Development-Job-BB/465260101/ and https://jobs.sap.com/job/Potsdam-Working-Student-OCamlReason-Developer-Job-BB/465257901/ For more details and questions, please contact me on keiko.nakata@sap.com (We may have other internship positions around static analysers, please contact me for further details.) Best regards, Keiko -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs