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 729FD7EC77 for ; Mon, 30 Mar 2020 13:35:24 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=david.castro.dcp@gmail.com; spf=Pass smtp.mailfrom=david.castro.dcp@gmail.com; spf=None smtp.helo=postmaster@mail-qk1-f176.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of david.castro.dcp@gmail.com) identity=pra; client-ip=209.85.222.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="david.castro.dcp@gmail.com"; x-sender="david.castro.dcp@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of david.castro.dcp@gmail.com designates 209.85.222.176 as permitted sender) identity=mailfrom; client-ip=209.85.222.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="david.castro.dcp@gmail.com"; x-sender="david.castro.dcp@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qk1-f176.google.com) identity=helo; client-ip=209.85.222.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="david.castro.dcp@gmail.com"; x-sender="postmaster@mail-qk1-f176.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AAE+eIBSPOooSWgL0QsnyKBAR79psv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yZx2N2/xhgRfzUJnB7Loc0qyK6vymADJdqsrY+Fk5M7VyFDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjeu8UMnIdvK6Y8xhTGr3dVZu?= =?us-ascii?q?9b2X5mKVWPkhnz4cu94IRt+DlKtfI78M5AX6T6f6AmQrFdET8rLWM76tD1uBfa?= =?us-ascii?q?VQeA6WcSXWsQkhpTHgjK9wr6UYvrsiv7reVyxi+XNtDrQL8uWDSi66BrSAL0iC?= =?us-ascii?q?oCKjU0/n3bhtB2galGph+quh5xzJPOYIyNO/Vwfq3Tc9AHS2RfQslcTDBBDp+m?= =?us-ascii?q?YocTE+YNIeRVoo/grFUOtxu+AgysCfvhxDBSmH/23LA12Pk/HA7cxwwgA8gOsH?= =?us-ascii?q?PJp9jyKagdS/61zKjVwjnZc/xZwyz96JTSchAmu/2DQK5/cdLKxEkgEgPKlFSQ?= =?us-ascii?q?qYj/MzyJ0eQNtnGW4ux9XuyhjG4nrht+ojmpxso0i4nGmpgZxUrY+ilj3YY1Js?= =?us-ascii?q?W0SE9+Yd68DpRQrSCaOJFyQs84WW5npDw2yqAFuZO9YSMEy4wnygbBZ/Cbd4WE?= =?us-ascii?q?+BHuWeaLLTtmmn5pZqiziwuw/EWhzOD3S9O630xQriVfl9nBrnAN2ALX6siAUv?= =?us-ascii?q?Z9+12u2TeL1wzK8+FEIl04mbPVK5I8wLM9l4AfsUvEHi/xl0X2iLGZel849eiv?= =?us-ascii?q?7uTrerTmppmCOI9okgzyLLgil8ilDek7MgUCRXaX9fqi2LH54EH0QrRHguUzkq?= =?us-ascii?q?bDsZDaIcobprS+Aw9Qyoss9gywDymn0NsFh3UIMEhKeAmbj4jzPFHCOu33Auun?= =?us-ascii?q?g1m3nzdrwurJPrzlApnXMnfDl7Lhca5n60FA0Aoz0cxf55VMB74dOv3zX0vxuM?= =?us-ascii?q?XcDh84KAy03/3qCM5914MbQWKAGLWVMKLUsV+S5+IgOfOAZIEPuGW1F/9w5/f1?= =?us-ascii?q?jnI9nRoWdKek9Zsec3O1GvAgJF+WJTLni9IFVGMLpRYWTerwiVTEXyQASWy1Wv?= =?us-ascii?q?cQ7y86BMqNBJzfXIfl1LCIwia3WJZffXxcDRaAGm/AeICNWvNKYyWXdJwy2gcY?= =?us-ascii?q?XKSsHtdynSqlsxX3nuI+c7jkvxYAvJem7+Bbou3ekRZoq25xBsWZlniOFiR6xz?= =?us-ascii?q?xWATAx2697rAp2zVLRifEp0cwdLsRa4rZyail/MJfdy+JgDNWrA1DOe96ITBCt?= =?us-ascii?q?RdD0WGhtHOJ0+McHZgNGI/vnlgrKhnP4DLoclrjND5sxoPrR?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C1BgCQ2IFef7DeVdFmHAEBAQEBBwEBE?= =?us-ascii?q?QEEBAEBgWoEAQELAYJQRFQzKoQag3mLBSuMWWGDZ4wNCgEDAQwFIAoEAQGDf0E?= =?us-ascii?q?CgjYcBwEEMwYOAhABAQUBAQECAQIDBAETAQEJCwsIJ4VfDII7IoMsER0BGw8PA?= =?us-ascii?q?xIQCQYCJgIkAREBBQEjEiKDBAGCSgEDLg+fRYEEPYsogRUFAReDAAWEMgoZJw1?= =?us-ascii?q?iA4EyAgcSfCoBhSENhwJ+gRyBEAE2gl6DJQGBQYM3gjwiBI1tEgmiXQeCP3+BK?= =?us-ascii?q?YRKb4oHhS0dgkyIMJBwjxmcHA8jgUWBezMaI4EBgjsJRxgNV41Gg3OHeoJbRDA?= =?us-ascii?q?CjxgBAQ?= X-IPAS-Result: =?us-ascii?q?A0C1BgCQ2IFef7DeVdFmHAEBAQEBBwEBEQEEBAEBgWoEAQE?= =?us-ascii?q?LAYJQRFQzKoQag3mLBSuMWWGDZ4wNCgEDAQwFIAoEAQGDf0ECgjYcBwEEMwYOA?= =?us-ascii?q?hABAQUBAQECAQIDBAETAQEJCwsIJ4VfDII7IoMsER0BGw8PAxIQCQYCJgIkARE?= =?us-ascii?q?BBQEjEiKDBAGCSgEDLg+fRYEEPYsogRUFAReDAAWEMgoZJw1iA4EyAgcSfCoBh?= =?us-ascii?q?SENhwJ+gRyBEAE2gl6DJQGBQYM3gjwiBI1tEgmiXQeCP3+BKYRKb4oHhS0dgky?= =?us-ascii?q?IMJBwjxmcHA8jgUWBezMaI4EBgjsJRxgNV41Gg3OHeoJbRDACjxgBAQ?= X-IronPort-AV: E=Sophos;i="5.72,324,1580770800"; d="scan'208";a="442942529" X-MGA-submission: =?us-ascii?q?MDEZ6Y/rxpD/mYzuDtxYBznb3/ySOrebt4+L5A?= =?us-ascii?q?9Xe+4YF9SpgqW930kEH2Kd5XP9fQ9HPvb/ddqLaaL14jZEeb3XPnuApA?= =?us-ascii?q?FfWmFv/7sGxUgu6BRbesvVeuXhD0q24qncBu4O8HCTmPEenXm/1v/Pxa?= =?us-ascii?q?o7yD6WlrkB8B5dMMMEGZb2fA=3D=3D?= Received: from mail-qk1-f176.google.com ([209.85.222.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 30 Mar 2020 13:35:23 +0200 Received: by mail-qk1-f176.google.com with SMTP id h14so18476532qke.5 for ; Mon, 30 Mar 2020 04:35:23 -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=+NUdm6EReFt6llzwGQb0a741fE5WnRg2Qifb+pE4VpU=; b=kf5XAi/TpaOYWEcmlQiDFuHrTmf+siBgbyxgge0sNF6CbJjYBeWrfV4t7Cmp2+sEak 6LdX0hwOxojb38weZbZfdw1ldS6LN0rRGmEV4HPOyp4+JMfpjIU8FMhlBVgad04fWVHu iWY0TrLE2JPZR1h+cG2YKKLW9WzxOCEs3Ozp+aSMYFTEarnq+TFUIPbsu95Jt5IXxChX Qia52RLM706BVl4TeKwRq48mr6qSaf/3cTpvs25XXtLKz6wYIhegxmS10d3t6b6ZtpAB 9QZP84PMyCpLsJUb4oPcQJ94BLgggAIw8D25n9k1ZJ9vDcjWAoTcZC6rFqyToxJbWYDF g3pw== 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=+NUdm6EReFt6llzwGQb0a741fE5WnRg2Qifb+pE4VpU=; b=a89eL2Rgqcg1OwAFlAwtBQU2V4J5wsBR8ZpYKydT5Id2/sM9jmrztwTNOVT6YzDw0s gQacaZIKgOWirEg4/tceMjXeJfRLiSB3XqPzVpL8LGYPkom077iS+/8lRjE5durWE0X0 VDpaUavGshwaCRJYPryuL8GBqRebE/VaWx5kUtg4UPuDUGzUBLbxCNH5Ggvm4Xvwy0XK yFkgsVPGfH7+vKgZp4LOynWth7K918rQSYft4Wk/abW0BHFFaWt3vKZesWOmsEeXA/ti 1GChlO7dpD5Qwv4xEkXOpY4vPSTKR7/LHg3u6+VzRj8VvzVH7T0Evl6Lq5df829XG8Q9 1UIQ== X-Gm-Message-State: ANhLgQ2B0cV+vlWSIAi9XHuE8DFKwCzSEqxxqpQU9f55U96rlDWh87I4 6DWBKr0la0O+cb/LCo3/Sby0smowtv7xeCbm2JvkoNb8EjQ= X-Google-Smtp-Source: ADFU+vuOemP/LVS9QEkIUS6mggzKNkfHhC3P9/20IKkJ5zKoSqeh/gCTtIVTQzUL4ZXEusTThQRYIJmavb32BebhbwU= X-Received: by 2002:a05:620a:7ee:: with SMTP id k14mr7489832qkk.480.1585568122450; Mon, 30 Mar 2020 04:35:22 -0700 (PDT) MIME-Version: 1.0 From: David Castro Date: Mon, 30 Mar 2020 11:34:46 +0000 Message-ID: To: haskell-cafe@haskell.org, caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] Research Assistant/Associate Position (Postdoc) at Imperial College London Hello, We are looking for candidates for this position at Imperial College London. The official text of the advertisement follows: Department of Computing, Imperial College London Research Assistant/Associate Position (Full Time) 35,477 GBP to 47,579 GBP per annum Reference: ENG01270 Fixed-term: 2 years (with a possible 24 month extension) Starting date: as soon as possible (no later than 1st October 2020) Closing Date: 26th April 2020 The Research Assistant will work under the EPSRC Established Career Fellowship Project, POST: Protocols, Observabilities and Session Types. Imperial College London provides a flexible arrangement to be able to start and work remotely until we re-open the campus (this depends on your nationality and current living address). Please contact with Nobuko Yoshida (n.yoshida@imperial.ac.uk), Imperial College London if you would like to apply to the position to have informal discussions. The application deadline is also extendable. ------------------------------------------------------------ The project has particular emphasis on putting theory into practice, by embedding session types in a range of programming languages and applying them to case studies; or developing the links between session types and other areas of theoretical computer science. The research programme includes collaboration with several companies and organisations. Candidates for the post-doc position will need to have expertise in either: 1. programming language design and implementation; or 2. formal semantics, type theory and concurrency theory Different positions will be suitable for different points on the theory/practice spectrum. We are especially interested in candidates with a combination of theoretical and practical skills. For more details, see http://mrg.doc.ic.ac.uk. The focus of Imperial College London Group is theories and applications of (Multiparty) Session Types (JACM,POPL'08) which include: -- Go (POPL'19,ICSE'18,POPL'17,CC'16), Scala (PLDI'19,ECOOP'17,ECOOP'16), F# (CC'18), Erlang (CC'17), Haskell (CC'20,POPL'16), OCaml (SOC), Java (FASE'16,FASE'17), MPI-C (FPL'16,OOPSLA'15,CC'15) and Python (FOAC,LMCS,FMSD); -- session types theories (ESOP'20,POPL'19,ESOP'19,ESOP'16,CONCUR'15), automata theories (CAV'19,CONCUR'19,FoSSaCs'17,TACAS'16,CONCUR'15,POPL'15), game semantics (POPL'19,FoSSaCs'19), Implicit Complexity (LICS'18) and linear logic (ESOP'18,FoSSaCs'18,CONCUR'15); or -- mechanisation of session types meta-theory (Coq, Isabelle, Agda, etc) (TACAS 20) -- other applications such as blockchains (FSE'19) and robotics (ECOOP'19) The contact person is Professor Nobuko Yoshida, Imperial College London (n.yoshida@imperial.ac.uk) The candidate is welcome to contact her. Details: https://www.imperial.ac.uk/jobs/description/ENG01270/research-assistant-research-associate