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 873E25D5 for ; Wed, 19 May 2021 19:27:35 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.82,313,1613430000"; d="scan'208";a="509016322" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 May 2021 21:27:32 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6005EE0AAF; Wed, 19 May 2021 21:27:32 +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 EB73DE0A9D for ; Wed, 19 May 2021 21:27:26 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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-f173.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AOIzhEx1joQvbr95ismDO3wMyDhhOgF0UFjAc5pd?= =?us-ascii?q?vsb9SaKPrp82kYBWOo68z3RSYAs3y0LFts6LuqafuWGgNs96qkUspV9hybSIDk?= =?us-ascii?q?tgchAc6AcSIWgXRJf/uaDEmTowZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF?= =?us-ascii?q?5Ovn5FpTdgsiq0+2+4YPfbgRMiTayZb5/Lgi9oBnMuMURnYZsMLs6xAHTontPd?= =?us-ascii?q?eRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRb?= =?us-ascii?q?YUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwh?= =?us-ascii?q?SgINzA3/mLZhNFugq1Hux+huwBzzpTIbI2JKPZzfKXQds4aS2pbWcZRUjRMD5+?= =?us-ascii?q?6b4QSFeoOI+dYpJTnqVsJtRuxGxKsC//yyjRVgXL5x6s63Pk7EQ7Y3QwsBdIOv?= =?us-ascii?q?G7MrNXyLKcdT/u1w7XVzTjYYPNW3C3y6InMchw7vf6MWrdwfNPXxEIyGAzLkk+?= =?us-ascii?q?eppb5PzOJyOsNqW6b4vJvWO+zlmMqtg58rySzy8owjoTEgpwYx17a+Ch53oo5O?= =?us-ascii?q?9y1RFN/bNOqEpZeuD2WO5V5T84gQ2xlpSI3xqEatZC7eiUB1Zopxxnaa/Odcoi?= =?us-ascii?q?I5AruVOSWIThjn3JpYqiwiAqo/Ui9ye3xUNS/3lVSriddjNXAqnQA2wbQ58WHU?= =?us-ascii?q?Pdx4Fmt1SiV2wzO6OxJL0Y5nrfBJZE72L4/jJ8TvFzDHiDonEX2i7ebdkA+9ei?= =?us-ascii?q?p7+Tre6zmppyBO4NthAHyL6Yjl8KlDeQ3NQgOWGeb+eCi27H54UL5R7BKguU3k?= =?us-ascii?q?qnfrp/aOdwWqrClDwJRyIou6BayAy243NgGg3ULNk9JdRCJgoTxPlHBOvH4DfO?= =?us-ascii?q?xg1S2lzdrwujLMafnAprQNHjMjrbhcax960JG0Aozyshf6IxPCr4dPfL+QUDxt?= =?us-ascii?q?NnCAR84Nwy42froCNJ41o8GQ2KAHreZML/OsV+P/u8gP/ODZIoRuDrkL/gl5uX?= =?us-ascii?q?ujWMilF8Gfaip2IMXZ2qiEvRnJUWZe3vsjc0bHWcEpAptBNDt3UGTSTNIIn+0W?= =?us-ascii?q?aUh4Do2IIanFpvYAJugiafHwT+2GJsQa2xbThiFDWytc4yCVLIRcy+IOedulTs?= =?us-ascii?q?LUbWuUYg8zQrovwj/j/JsJ+/QvykZro7L1d5v5uSVmwt2vTJvE82HlmqJUmtcm?= =?us-ascii?q?mITWyRw0654u0NwjFaFy6lxxfJCRvJJ4PYcewE2L5Pdh9R9E93pUR+JKt6PREy?= =?us-ascii?q?rQ5OmRyk2Vt8qyMImbEN0GtHkhRfGiXn5S4QJnqCGUcRnupnX2GL8cp4VI5nu2?= =?us-ascii?q?6wojl1gScxKZzTObk9X8gHSA8vQkBzcmf/1LuIT2ynC8GrFxm2L7hkwuOtYXqD?= =?us-ascii?q?MXHRZbUzT/4yR2w=3D=3D?= IronPort-Data: =?us-ascii?q?A9a23=3AY9WN3qMFKUCDjpTvrR3RlsFynXyQoLVcMsFnjC/?= =?us-ascii?q?WdVO7hTkigjwBy2FOCzrTbPmDM2XxeopzbomwoEhU7JXSv4NqS1BcGVNFHysb8?= =?us-ascii?q?5KdbTi6Bh6tZH3KdpWroHqKXqzyU/GYRCwPZiKa9k3F3oTJ9yEmjPnVH+ukVoY?= =?us-ascii?q?oBwgoLeNaYHd54f5cs7Vh6mJYqYDR7zKl4bsekeWHULOW82Ic3lYv1k62gEgHU?= =?us-ascii?q?MIeF98vlgdWifhj5DcynpSOZX4VDfnZw3DQGuG4EgMmLtsvwo1V/kuBl/ssIta?= =?us-ascii?q?sk7K+a05TB7CLYlPIhX1RVKyvxBNFo0Te0I5hbKtaORoR0W/T2Ykuk72htrToI?= =?us-ascii?q?estFqTKlP4QUl9YVTl5JaBd86LvLn22sMjVxErDG5fp664+VRBvZt1HpY6bBkk?= =?us-ascii?q?XraBCQNwXVTiIjueyhba6UfVEndUmNMCtPYUFu3gmwyuxMBqMaYSbFv+MussBi?= =?us-ascii?q?W923tQUSK6YPZtIMC40OUyGPgkQb34JLLk7uMuoolj2VQFCjGyUgL5uuz2PiFF?= =?us-ascii?q?luFT2GN/ce9jPXMYM20jB+TmA8GP+DRUXcteYzFK4HruXrrentUvGtEg6TdVUN?= =?us-ascii?q?8KGgWF/AkQWARwSEEK4+Ly30xHlHd1YLEMQ92wlqq1aGImDJjXid0XQnZJGlkd?= =?us-ascii?q?0txls/ykS5wSEy66S6AGcboTBZiAUc8Qo7afaWhRzvmJkXLrV6fhHv7icSHbb/?= =?us-ascii?q?bCRxd93EUD5MkdaDRI5ocA5DxUPbW39Yt8jjjquLUJtsuDIJA=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Aoh/vh6D+0cTEVcTlHemh55DYdb4zR+YMi2TD?= =?us-ascii?q?tnoBLiC9F/bzqynApoV56faZslYssRIb+OxoWpPwI080nKQdieIs1NyZLWzbUQ?= =?us-ascii?q?WTXeVfBEjZrwEI2ReSygeQ78hdmmFFZuHNMQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B8DADwZaVgf63eVdFaDhABAQsSDECBW?= =?us-ascii?q?YMgVjoxAoRIkAqNQIVMigCBewsBAwENNwoEAQGGRQIdBwEENgQNAgQVAQEFAQE?= =?us-ascii?q?BAgEDAwQBEwEBDQsLCCcchVANgjgihAMRHQEbHgMSEA8CJgIkAREBBQEjNIJQg?= =?us-ascii?q?lQBAy8PnF6BBD2LMoEVBQEXgQGCCAaEZwoZKA1jA4EeGgIBBhJ+KoVqgR+CY4Q?= =?us-ascii?q?egQSBJYFLgj2DTgGEeIJjBIMUbYERgRqRLqpeB4MZBIElk1yIRyiDSKF6lTefA?= =?us-ascii?q?YUjECOBSwSBdTMaI4EBgjhQGQ6OHzeDOYd6gh5GQy8NKwIGCgEBAwmJGgEB?= X-IPAS-Result: =?us-ascii?q?A0B8DADwZaVgf63eVdFaDhABAQsSDECBWYMgVjoxAoRIkAq?= =?us-ascii?q?NQIVMigCBewsBAwENNwoEAQGGRQIdBwEENgQNAgQVAQEFAQEBAgEDAwQBEwEBD?= =?us-ascii?q?QsLCCcchVANgjgihAMRHQEbHgMSEA8CJgIkAREBBQEjNIJQglQBAy8PnF6BBD2?= =?us-ascii?q?LMoEVBQEXgQGCCAaEZwoZKA1jA4EeGgIBBhJ+KoVqgR+CY4QegQSBJYFLgj2DT?= =?us-ascii?q?gGEeIJjBIMUbYERgRqRLqpeB4MZBIElk1yIRyiDSKF6lTefAYUjECOBSwSBdTM?= =?us-ascii?q?aI4EBgjhQGQ6OHzeDOYd6gh5GQy8NKwIGCgEBAwmJGgEB?= X-IronPort-AV: E=Sophos;i="5.82,313,1613430000"; d="scan'208";a="381913877" X-MGA-submission: =?us-ascii?q?MDG5rL4aosIUNOi7El48YduadYgLC6DsJ7l2zs?= =?us-ascii?q?uxqdGsqvNvo+qOL3vi8bq6KRc2vxIgv/osMJe2DqVxSYjP5zkGhj2Lc1?= =?us-ascii?q?VVflUdjH19JbPsAqU8Xj6ihshhxIUBWIQbwi8srhanMqz52VPyPkVedj?= =?us-ascii?q?Mla5N59Bb/c4PPrK3WYWfrKg=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; 19 May 2021 21:27:25 +0200 Received: by mail-qk1-f173.google.com with SMTP id i67so13878411qkc.4 for ; Wed, 19 May 2021 12:27:25 -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=Y+KgX6EGNpuw3RWlu6afj4INR8uwz34t+xu3/IahgZ8=; b=ZvljM4jUhohdN1S6eAVeGvnWwx+I64jJ+POktw78iJbfr0T5Hut+tXgkx9CkoHSi0S RUTO+KVXm+vfyRwGtyyMnbJR2P9ykpAtgwXDvcqJEwpCvZ8QHv3UhPKkH43rZRkbpPDe KrcKkL4ANGUlRdwdq0/M6kKnRyXLYpN6KwyezRxyed8sOyRTirPryN1KU5iE0zjxI7VX g9bdFu75+H2nVGnE7mLg0nrLJRWyplz71acOvhG3JEWcpy4qyAhlioSvmqdQ92rZjTvx uJO7ooPnDXI1lFKpPWpTPvYsd3oueMQ6C104hTEhuQNPXHVxcaQNnviFM5/GIwER4X1a HgMA== 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=Y+KgX6EGNpuw3RWlu6afj4INR8uwz34t+xu3/IahgZ8=; b=VfcXNC9uzgcpP807WPOxMyKjCx27DcaL5tNqd65GM0JS4/coQIVqj1Zq138egAPX2K D3mK+T3DZPTQGlSFdnOCOSF/ovm5+naJqs35tJZBWu19tT0TlXR5+Po1k25fmo6L8OlF PMuNocneadZfBkp0Qc18ndoduYcyq/6IuW4DIJFjtXk5pGaXwfmW1QHupMxSGQHgwlUm Rn56MJAABkLgYd0gwTi7mO6A+oa+TcLqTHC/VcceSF8qZSdQ8IrUshvCJyUKsIusI17n +//BUIPuiVDWccpzGoXICmd+lB+NaC2xBLprcDqyWibP2GtJLF7Cg0kxQ7PF7dpR0gZv SezQ== X-Gm-Message-State: AOAM532zVDwF4Bh3Wv3yxh3OlODtw3A/ZoNSElXQ5kyoVldC3CjrSZ9q 1IpA5LdzMTnAJGsvmi3077QqtyT2V8HFb6yl3Ci80eTT2T/uXg== X-Google-Smtp-Source: ABdhPJxghJJNtjVCllKgfvCfgP1/5aCS7N6bdMBR/UtbymF66PIyRZ1Sqv6+jRDXrna0KqzQZgwJ3jKwPy/qXbyVZDk= X-Received: by 2002:a37:9f48:: with SMTP id i69mr1142628qke.28.1621452444917; Wed, 19 May 2021 12:27:24 -0700 (PDT) MIME-Version: 1.0 From: Andrei Popescu Date: Wed, 19 May 2021 20:27:14 +0100 Message-ID: To: types-announce@lists.seas.upenn.edu, ats-lang-users@googlegroups.com, caml-list@inria.fr, fstar-club@lists.gforge.inria.fr Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 18497 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, The Department of Computer Science at University of Sheffield has an open position of Lecturer or Senior Lecturer in Cybersecurity. Details can be found here: https://www.jobs.ac.uk/job/CFN168/lecturer-senior-lecturer-in-cybersecurity Note that "formalisation and proof of system security properties" is listed as a topic of interest. Women are particularly encouraged to apply. All applicants will be given equal consideration. Best wishes, Andrei