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 738345D5 for ; Thu, 26 Aug 2021 14:47:43 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208";a="525356268" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Aug 2021 16:47:39 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8464DE032C; Thu, 26 Aug 2021 16:47:39 +0200 (CEST) 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 EA956E002F for ; Thu, 26 Aug 2021 16:47:36 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=fco@42nd.ca; spf=Pass smtp.mailfrom=fco@42nd.ca; spf=None smtp.helo=postmaster@mail-qk1-f173.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AEFnVHhPSFOGM+eFDa8gl6nbYDRdPi9zP1u491JM?= =?us-ascii?q?rhvp0f7i5+Ny6ZQqDv60r3QaCANqTwskHotKei7rnV20E7MTJm1E5W7sIaSU4j?= =?us-ascii?q?94LlRcrGs+PBB6zBvfraysnAJYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd?= =?us-ascii?q?+KvjoFoLIgMm7yfy+94fXbglVizawYbF/JwiqoAvMscUbnZFsIbsrxBvTpXtId?= =?us-ascii?q?eVWxWd2Kl+Wgh3x+MS+8oN9/ipJo/4u+NJOXqv8f6QjULxXFy8mPHwv5M3qrhb?= =?us-ascii?q?MUw2C7WYBX2oMkxpIBw/F7AzmXpr0ryD3uPZx1DWcMMbrSr86RCmi77xzSBD2l?= =?us-ascii?q?CgHKzA38GbSisNqjaJbpg+qqxhwzoPQZY2YMud1cKHActMAXWdOUcZfWSJCDI2?= =?us-ascii?q?hcYUAE/EMPfpEo4Tnu1cCsQeyCAuqCejyyjFInHj23agi3uohCwHJxgogEM4Ps?= =?us-ascii?q?HTPsNr1M7oZX+Crw6nS1zXMcfJW2S3n54PVdR0hr+2DXbVrfMfe10UvER7Kgk+?= =?us-ascii?q?MpoP/Jj6Y0PkGvGeH4eR6T+2vl3InpB9rojip3sohhIfEi4Ibx13Y+it0woc4K?= =?us-ascii?q?MG2RUN0fdOpHpReuiOEOoZ2Qs0sTG5ltDg6xLAEuJO3YioHxZYpyRPddfCKcIm?= =?us-ascii?q?F7xT+X+ifJjd4gWhqeLO5hxuq8Eigz/X8Wdeu0FZLtCVFlsPAuWoR2BDJ98iHS?= =?us-ascii?q?eNx/ka91jqVzQ/c9vtIIV03labDJJ4hw6IwlpoOsUvYBCP2mUL2gamLfUsn4ui?= =?us-ascii?q?l8/rrbqniq5OGNIJ5ihvyProwlsChG+g0LwoDUmad9O+hzrPs51f5T69PjvAuk?= =?us-ascii?q?qnWrpTaJcMDq668GQBV04Ij5w+mDzelzdgUhHcHIE9HdR+JlYTpNFbOIPf3Dfe?= =?us-ascii?q?7nVugiitkx/fDPrH5A5XNKGbMkKv5cLpj90JRzBA/wNNf6p5OFL0NPuz/VlXsu?= =?us-ascii?q?NHaABI1Kwm0zPzmCNV52IMeQ2WPAqqBPaPcrVCI4fkiLuaSaI8TpTnxMeQq6OT?= =?us-ascii?q?2gX8jhVAdZbWp3YcQaH2gAvtpOUCZYX71jtcFEGcKpRY+QffxiFyCVD5Tf2y9U?= =?us-ascii?q?7g95jE9EoKmDJ3MSpqjgLybj2+HGchdb2VCT1SNCmvAdoOeWv5KZjjBDNVml2k?= =?us-ascii?q?qT7GnQI463hbmmgLg0bdmNOOcriMTsrq/jt55oebaw0JhvQdoBtiQhjneB1p/m?= =?us-ascii?q?XkFEmNntEieiUl0y1PGyKshxvIBSocV6PROXQM3c5Xbyr4iYzgXcl6beNvPQ1/?= =?us-ascii?q?0Gr1O7hltFNQ9hdQHMR8VJg=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AmrkUPqp2ciwfHsC0Mpmu2rMaV5omeYIsimQD?= =?us-ascii?q?101hICG9E/bo8PxG+c5w6faaskdzZJhNo7C90cq7IE80l6QFg7X5VI3KNGLbUQ?= =?us-ascii?q?CTXeRfBOXZslnd8u7FmtK1F50MT0GzMrLN5JFB4/rH3A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C3AgASaxphf63eVdFagQmEe1Y7MYRHj?= =?us-ascii?q?0laAQEBBoFBiR2BUYZRi1EDVAsBAwENNwoEAQGEHEECgm8CHQcBBDQTAQIEFQE?= =?us-ascii?q?BBQEBAQIBAwMEARMBAQ0LEAg4JoVoDYI1DIQaER0BASkPJQkGAiYCJBIBBQE1C?= =?us-ascii?q?BqCTwGCYSYPmnmBBD2LMoExgQGCBwEBBoYogVoJEn4qhw2GZAInHH2BEIEUATa?= =?us-ascii?q?CPzCDIAEBAQGBOXKCSoJkhBExI2sBAYEdF4EGPZEqE5cGlG8IgyqDboZPjSCGd?= =?us-ascii?q?SuDZYtjkHeGNqJPmHcQI4FUgX1NOGwGgjIJRxkOjleCZ4M4hRaCZUMvAjYCBgs?= =?us-ascii?q?BAQMJiXUBAQ?= X-IPAS-Result: =?us-ascii?q?A0C3AgASaxphf63eVdFagQmEe1Y7MYRHj0laAQEBBoFBiR2?= =?us-ascii?q?BUYZRi1EDVAsBAwENNwoEAQGEHEECgm8CHQcBBDQTAQIEFQEBBQEBAQIBAwMEA?= =?us-ascii?q?RMBAQ0LEAg4JoVoDYI1DIQaER0BASkPJQkGAiYCJBIBBQE1CBqCTwGCYSYPmnm?= =?us-ascii?q?BBD2LMoExgQGCBwEBBoYogVoJEn4qhw2GZAInHH2BEIEUATaCPzCDIAEBAQGBO?= =?us-ascii?q?XKCSoJkhBExI2sBAYEdF4EGPZEqE5cGlG8IgyqDboZPjSCGdSuDZYtjkHeGNqJ?= =?us-ascii?q?PmHcQI4FUgX1NOGwGgjIJRxkOjleCZ4M4hRaCZUMvAjYCBgsBAQMJiXUBAQ?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208";a="391186903" X-MGA-submission: =?us-ascii?q?MDHj/dIZeVqvMiZ2yhwYhC8pcRhiZn4RhRgh1J?= =?us-ascii?q?i1yxCu+6mZLSlan6TElx+bYkk9Xkcc+jby1vas3pFREb1E82cOFLKCCB?= =?us-ascii?q?NAvrD77lNX+ZhZU/rZ6F0owVhBoXCCYQSscW5wlGHJS1NNthaCTAjfa/?= =?us-ascii?q?c3wzDd744EgtClMZJg6Sf/Lg=3D=3D?= Received: from mail-qk1-f173.google.com ([209.85.222.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 26 Aug 2021 16:47:35 +0200 Received: by mail-qk1-f173.google.com with SMTP id bk29so3581119qkb.8 for ; Thu, 26 Aug 2021 07:47:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=42nd.ca; s=google; h=mime-version:from:date:message-id:subject:to; bh=M962geujbPcaJ4lqJRPccsaN7q/d+9bzg33Mb0R/1Pw=; b=ZyHPvmna2fbgZi0ys3hX9UTJdSVcw+4Ha4KoD/olRcELqEYIwAkdief97cfOtI1If4 EwTNOJkI7YlNBIMKaAiJhIHGPucxjBn3WX2BqsPW7ed5EesauImfa1boOqziJ/FqEC8U nNje621FBP+eih4Wnr+P2SjexxLkmjxLfuruI= 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=M962geujbPcaJ4lqJRPccsaN7q/d+9bzg33Mb0R/1Pw=; b=Khiki7JrzpkN1JAYf+BpdsZSkIOULLLDgxUw+ZLdxR3yTtt4IO0h2WqHUGToNuMZo2 QL7ZZ6Q6nEgr+cwRHRMW+OzLsPgjzCrrXv0C68j/QMytrMiisyb2KRpZQx5WVkUIRAwP T7EA/U97G+hE/ltR3Mi39w9lxJVE2DL6uhQegtFOV9X/zigT39GlqjWYWG2P+jSxHcyy ddBPUXlFCPAvlNabL71XrA8+Xh7unaMj8fiqJUqlEsC6r8OWhyUbkph7u2SdGsWdu8fc EUp3x8upWNVUpcTq3KbXPz9rQSBVNTqpHUw7U5KDrZ7PMLaM2Yut9znkBPo3Xg88k109 64jQ== X-Gm-Message-State: AOAM532bGvrNt9JtZHbFkUOlFviq0nRuafnaNMI0lve134K4XYAhk89h LhBmmHQgSDzTrVOAJ7TmTjy3l2UqCVF3YpVxtQp/F6iK4DVKCQ== X-Google-Smtp-Source: ABdhPJz44kfApGVrCeh5mZafCAkLTXGmR/LCOnYOuBoC2HvU9+QXEWB/3nkPg42Ti6hzwNJDUTwGKAY6xTpkWqiZ/N8= X-Received: by 2002:a37:9244:: with SMTP id u65mr4211417qkd.46.1629989252377; Thu, 26 Aug 2021 07:47:32 -0700 (PDT) MIME-Version: 1.0 From: Francisco Ferreira Date: Thu, 26 Aug 2021 15:47:21 +0100 Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] Research Assistant/Associate at Department of Computing, Imperial College London Reply-To: Francisco Ferreira X-Loop: caml-list@inria.fr X-Sequence: 18559 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: Department of Computing, Imperial College London Research Assistant/Associate Position (Full Time) 36,394 GBP to 49,210 GBP per annum Reference: Fixed-term: 3 years Starting date: as soon as possible Closing Date: 16th September 2021 The Research Assistant will work under the EPSRC Established Career Fellowship Project, POST: Protocols, Observabilities and Session Types and/or other EPSRC projects (see below). 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. Details: https://www.imperial.ac.uk/jobs/description/ENG01832/research-assistant-associate ------------------------------------------------------------ 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 session types which include: -- Go, Rust, TypeScript, Scala, F*, F#, Haskell, OCaml, Java, Erland, MPI-C and Python; -- mechanisation of session types meta-theory (Coq, Isabelle, Agda, etc) (PLDI'21 Zooid, http://mrg.doc.ic.ac.uk/publications/zooid-paper/) -- session types theories, automata theories, game semantics, linear logic; and -- other applications such as blockchains and robotics The candidate will work on POST and/or other related projects -- Stardust (https://epsrc-stardust.github.io/) -- AppControl (https://dsbd-appcontrol.github.io/people.html) The candidate is welcome to discuss the details about the above project(s) with the contact person: Professor Nobuko Yoshida, Imperial College London (n.yoshida@imperial.ac.uk)