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 748465D5 for ; Fri, 20 Nov 2020 13:35:57 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.78,356,1599516000"; d="scan'208";a="478611747" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Nov 2020 14:35:56 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id F0A50E0AA5; Fri, 20 Nov 2020 14:35:55 +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 9CCA2E020F for ; Fri, 20 Nov 2020 14:35:51 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=andrei.h.popescu@gmail.com; spf=Pass smtp.mailfrom=andrei.h.popescu@gmail.com; spf=None smtp.helo=postmaster@mail-qk1-f177.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AG+FNLxTUQjYoQwPreHh2jSF+5Npsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zZhKN2/xhgRfzUJnB7Loc0qyK6v+mADBYqsvY+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi0oAnLq8UbjpduJqkxxxfUv3BFZ/?= =?us-ascii?q?lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbD?= =?us-ascii?q?SxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lC?= =?us-ascii?q?sKMSMy/WfKgcJyka1bugqsqBN/zYDaY4+bKeRwcb/GcNMGWWZMRNpdWzBdDo6+?= =?us-ascii?q?aYYEEuoPPfxfr4n4v1YDsR2+ChS2BOzxyz9Dm2X43aoi0+s/CgHJwBEgFM8JvX?= =?us-ascii?q?vOqtX6Kb0SXv60zKXSzTXPdetW2TDl6IfWaRAuveyMUKl/ccrU00YvFgfFgk+M?= =?us-ascii?q?poziOjOYz+IAuHWU4OR8T+ygkXInqx1vrTi1wMchkobEi54Ix13Z+ih03Jo4KM?= =?us-ascii?q?G8RUN/f9OpHoVduiGEO4doQ84uXmVltSg4x7MJpZK3YicHxZYnyhPCb/GLb5SE?= =?us-ascii?q?7BLlWe2MLzl4g3dld6i+hxa06UWgyOr8WdKv0FpQtCVKjsPAtm0O1xHV98OJSe?= =?us-ascii?q?N981+/1TqT0w3f8OJJLEAumabFNZIt3KQ8mocRvEnBGCL9hV/4g7WMdko+/+il?= =?us-ascii?q?8+Tnbavipp+bL4J0jxvxMqUqmsCmGOQ4MRUCU3GV+eih1rDu/1f1QLpNjv0xna?= =?us-ascii?q?nZtI7VKd4Hqa6+Bg9Zyocj6xChADe6yNkUg2ULIVZfdB+Ej4XlIU/CLO7mAful?= =?us-ascii?q?nlihkjVmy+jDPrL7A5XNKnbDkK3mfbZ480NT0gwzws1F551KC7ENOvLzVlXptN?= =?us-ascii?q?zfFh82LRe0zPr6CNhm2YMeXHiAAq6dMK/IrVCI4ecvL/GWZIAJoDb9N+Ql5/n2?= =?us-ascii?q?gHAlg1AdeK2p0YITaHC5BfRmP16UYWHsg9cECWcFpBAyTO3siF2YUD5cfWy+X6?= =?us-ascii?q?wm5mJzNIXzDY7YRY2phJSB1Ty4E5lSIGdcBRTEGn7tc8CAWuwQQCOUOM5o1DIe?= =?us-ascii?q?EfCoV5Rk0Riou0rn0Ld9NcLb/SoXsZ/szt9o//aVnhY3phJuCMHI+meBVWx11l?= =?us-ascii?q?sPXzIt17039UV7xk2O0O54xeRfDdFI7O5hXQIzNJqaxOt/XYOhEjndd8uEHQ71?= =?us-ascii?q?Cu6tBis8G4poko0+Jn1lEtDntSjtmi+jArsbjbuOXcVm/afV3ny3LMF4mS+fif?= =?us-ascii?q?sRymI+S84KDlWIw65y8w+JWdzMmkSd0r+pLOEShXGSsmiEymWKsQdTVwsiCfyZ?= =?us-ascii?q?D0BaXVPfqJHC3m2HV6WnUO11PQ5IyMrEIaxPOIXk?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CrAgB3xbdff7HeVdFigQmBT4MeVTMuh?= =?us-ascii?q?D2cRYUkBYtlCwEDAQ0jDAQBAYZ3Ah0HAQQzBg4CEAEBBQEBAQIBAwMEARMBAQ0?= =?us-ascii?q?LCwgnhWoMgjcigzIRHQEbHgMSEA8CJgIkAREBBQEjNIMEAYJUAQMuD595gQQ9i?= =?us-ascii?q?zOBFQUBF4MFBYRFChkoDWIDgRwaAgEGEnwqhVeDVoQTf4EcgUeCLmyBBIFZAYR?= =?us-ascii?q?3gl8EkDCoCgeCcYEWkhGHdCKDCAERiheUTJNXnBWEYA8jgUeBezMaI4EBgjhQG?= =?us-ascii?q?Q1XjWAfgzqHeoJeRDANKgIGCgEBAwmOSAEB?= X-IPAS-Result: =?us-ascii?q?A0CrAgB3xbdff7HeVdFigQmBT4MeVTMuhD2cRYUkBYtlCwE?= =?us-ascii?q?DAQ0jDAQBAYZ3Ah0HAQQzBg4CEAEBBQEBAQIBAwMEARMBAQ0LCwgnhWoMgjcig?= =?us-ascii?q?zIRHQEbHgMSEA8CJgIkAREBBQEjNIMEAYJUAQMuD595gQQ9izOBFQUBF4MFBYR?= =?us-ascii?q?FChkoDWIDgRwaAgEGEnwqhVeDVoQTf4EcgUeCLmyBBIFZAYR3gl8EkDCoCgeCc?= =?us-ascii?q?YEWkhGHdCKDCAERiheUTJNXnBWEYA8jgUeBezMaI4EBgjhQGQ1XjWAfgzqHeoJ?= =?us-ascii?q?eRDANKgIGCgEBAwmOSAEB?= X-IronPort-AV: E=Sophos;i="5.78,356,1599516000"; d="scan'208";a="478611715" X-MGA-submission: =?us-ascii?q?MDE6FTbir8QsoFGGK4XfYLN9jIslOx54GPg1d/?= =?us-ascii?q?d1XqQIBHvbr0YmMLP9nszx9Qw9fRVBED5rrr97K49qv1XALiaJYxpnuu?= =?us-ascii?q?PGM5Xlx40KAmp6hkdBzrHjtqwifXeuhaRW+ivEDE+eLxb//jUHHrcLnC?= =?us-ascii?q?ewIlQmsEyZBA51P8ghTSlUXA=3D=3D?= Received: from mail-qk1-f177.google.com ([209.85.222.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 20 Nov 2020 14:35:50 +0100 Received: by mail-qk1-f177.google.com with SMTP id q5so8780885qkc.12 for ; Fri, 20 Nov 2020 05:35:50 -0800 (PST) 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=xsxF27iEgr+N8yRYqM2MR2zetVvzwXMtVvEwEbGA0Gc=; b=XFYbvZiTUde3aKiZbSGD2Jgebrd++FIzW9xhcn5dUdJz9DfQ1F0Th9hvncWFClqvxW NQomDzVTXwRVtlROpQ1Ebu1mSQzoTFogsRuutfpdF5cuPZf8PxcMQGrHkQKJfkPdz6H1 9qSDEfgXUW9F2/GtTD0c202xSbhIt09AHT5B+Jn8Dp6wBqOf72BwC4m7NV8s8t6xAmIG 5ovEFcD4EToor3xca/MHAPYbmwSpo+P9uF+FQO81OrzUgN/EwPcuS8owXLK2iuErydjg oU8Xr/xpfwOjDkiILiagdGhTeih/kOhytD/86ik/so2TBJx+6Lg9TwU9/XxR9L+F/JNJ I5EA== 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=xsxF27iEgr+N8yRYqM2MR2zetVvzwXMtVvEwEbGA0Gc=; b=S+keTMq5eCZhvUOnV+558M9PVQlWn3D2cWtcx1mhwBpQXmScMHFge6BW4qx2wWs4oc 2nKEZ6jQ1gK/hD7I0GVILpn84r4he2+P7aj69BHQ422mHCvxuKP4x9M8JfMrYg8JIvkh hWIxK+n6nwRWuk3ZfxOMP0kY8u3dlRejfzBNXoEnAWcArQ8oVlkn4NLcTBmF3OyM8wpx aN3G8DePRnxXslSNf0tmPFPOx0rmiidsd8lQRXmzHBFoD32peBXaCFM1J0xYnibwFvQf QTMKzqxylCxvqhFaViXM7sfM64SvtAzO5CYpBlDDogKmGAT28z3XT8UaIK6gjTfEs0QZ GWSw== X-Gm-Message-State: AOAM532C+cS8BGHGgLpkKUFqkPx72jImWOAMdmBnwG8kIjalTtedY415 xVa6g5Jn0zOs4ejT3kAbmOLSw/zAHlbfFK5RwtPheRdJDLoYkA== X-Google-Smtp-Source: ABdhPJyvqFst5PbBSxJgPwWHQDz8PSGHKKRFlXb9ZsRrlDbwK8YvT+Rt4DCsFOZzPhNtuZrlNwbM2SurpS/huBTx8Ts= X-Received: by 2002:ae9:ef82:: with SMTP id d124mr15634087qkg.480.1605879349780; Fri, 20 Nov 2020 05:35:49 -0800 (PST) MIME-Version: 1.0 From: Andrei Popescu Date: Fri, 20 Nov 2020 13:35:39 +0000 Message-ID: To: haskell@haskell.org, caml-list@inria.fr, ats-lang-users@googlegroups.com Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] two posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020 Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 18290 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: Greetings, University of Sheffield has opened two posts of Lecturer in Cybersecurity. Details can be found here: https://www.jobs.ac.uk/job/CCG201/lecturer-in-cybersecurity-two-posts Please note that "formalisation and proof of system security properties" is listed first under "suitable areas". Best wishes, Andrei