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 0F2D95D5 for ; Tue, 26 Apr 2022 20:35:10 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=ebihEQVxv5IlxYZ4Vm88kqznw1P8h/T0VkiALqwTECg=; b=fc175v9dXf2Ku+K5aZ2l2e0MpAgCyyRzM6NhmMfBH73AzHcLmy3wbMs0 DGcDq/cJkn7zQKs4fP3WV6DOr4F6MKcLv2pwotg1atjBDm9Mao2edD2sj Juk09fldhkz6C2e7PwEqrWuxZkJzonzSrA/TJdVTsoJGWrKHueq3tn+c7 o=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@gmail.com X-IronPort-AV: E=Sophos;i="5.90,291,1643670000"; d="scan'208";a="33438492" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Apr 2022 22:35:09 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id F05E7E02AF; Tue, 26 Apr 2022 22:35:08 +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 69375E0079; Tue, 26 Apr 2022 22:35:02 +0200 (CEST) IronPort-SDR: zHII85wt4jsODPaALA1kcyolSlLNYzZYClpT7xL0MwTdpCF49+Y2+35BUAT0Zs73GtEnlk440/ Vmr8HhIWt1xb04O/CiyPzLfRhfwTm/3aINpf9sQ9Wi9MSMI1lwbNs47Tv55ZB7R5lgRfL6OQKF ztqxV2aH4UD0VPddT3sf3nGC3tCsq10qFz6GqJWjEEXh8KCvP4HYcqB5K3nAYKt09PvOntNL+K UOlv4Rt6oV0vcqTYqIo5ItG4D7c+kmD0MrCvsPhtP3k952QndFOTtS0ow6uP2ibUxVjMLM4kUH OsOCA+gS0fWaD2OhjGi0GN/l X-IPAS-Result: =?us-ascii?q?A0B0BgAGV2hifyzbVdFaDnuDfX5ULgQLQwKEUo8kjh6GF?= =?us-ascii?q?4wlCwEDAQ05CQQBAYoZAh0HAQRHAQIEAQEBAQMCAwEBAQEBAQMBAQUBAQECA?= =?us-ascii?q?QECBAQBEwEBDQsJBwgKBw4OBWABYQMBRIFPgU8lCwMxDYI1DBqEABEdARseA?= =?us-ascii?q?xIQDwImAiQBEQEFASMaGoJkgmQBAzEPnxqBBEGLMoEVBReBAYIJBoRLChkoD?= =?us-ascii?q?WcDgT8aAgEGEn+GQIEmgwOEQYEEgSWBS4JEg1EBhTeCZQSdPG2BEYEbkkuuV?= =?us-ascii?q?weDTQWBPZU4iQkzg2KkcZZgIKEqhUEQIxKBRIF9MxojgQGCOE4BAgEBAQ0BA?= =?us-ascii?q?gEBAwECAQIJAQECjlSDO4d6gh9GQzENLgIGCwEBAwmNMQEB?= IronPort-PHdr: A9a23:xSY/ehL5XCjfHEvYdNmcuJZvWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFvrM01xSQBt+Tq6odzbaM6ea4AS1IyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexf71/I A+roQjfucUanIVvJrgswRfNvndEZv5ayGx2KV6NhRrw+tu88Jt++ClMpvwt8NJNX7/ndKoiV 7xYCzomM2Ex5ML1sBTIUBWC6HgBXGgIixREGwfK4g30UZf3qSv6q/Fy2DKGMs3sTLA7Qiqt4 qF2QxL1kigHNjo58GbKisxsia9QvRysqwBjz4PSfYqaM+dwfqTHfdMGW2VOQ9pfWDJdDYO9d 4sDEfcKMeJXooXholcDqwa1CwuxC+P10jJHiX/406M53eo8Dw/JwBctH84SvHnOsNn5KLseX OKzwaLVzTvDdfRW2TLl5YXUdBAuvOuMUqxxccHM00cvEBvFgUuLqYP5IjOey+MAvHKd7+V9T +KglW8npxtxojS13scsjZHJiZwOyl/Y6CV024k1JdiiR056Zd6oCodftyafN4ZvRM4pXm5nt jogxLIcpZ67YDYFyI4hxxPHZPGKb5WF7w/sWeuNPTp1mHZodbahihu870WtyvPwWte13VpXq idInNvBuH8R2xDN5cWKSPtw81ql1DqTywzd6udJKl06m6rcLp4u2L8wlpwLvETBGS/5g172g LWMeUo44OSo9ufnb7P7rZGfL495kh/yPrgql8ClAuk1MhICU3aG9em4zrHu8kL0TbNXhfMsi KbZqorVJcEDq665HQBV1oEj5g66Dzi80dQYmWALLEtbeB6aloTpNV7DLf/iAfewhFSslzhrx /TYMbH7HprNKX3DnK/gfbZ79UFc1BI+wc5D659QEL0MI/L+VlXvuNDFChI1KQO5zun/BNV4z IweWGaPAqGDMKPVtF+F/vggI++Ra48Ppjn9KuIp5/70gX8hnl8dZbem3YALZ3ClBflmLECZb mDtgtcFC2sFog0+TOnyhF2ESjFcf2yyUL4k5jEnFIKmCp/OSp61jLybwCi7BoFWZnxBCl2UD XjnbYCEW/MVZCKWI89hiSAEWKO6S44h0BGurBX1x6BmLurS4C0YtIjs2MJ75+3JjR0y7yB7D 9yB02GRSGF5hn8HRzgv3KxmvUN9zkqD3rNjjvxDFd1T4utJXR0gOZ7dyex6EdHyVRjbcteHU lb1CumhVDo4S9Z0x94Vf258Hc+jh1bNxW7iCLtQlqeCDpEw9q+ZwmP8Pd1Vz3fdyLJnhFAjB MJEc3ClwuZ08BGWDIrUmW2YkbyrfOISxmqF+nyfxHDLt0VFWiZ0UL7ZRjYQaEzMotm/50XYT rboB650HBFGzJurLKdQZ9yhtVJeSezoJZyKamS9gWqxQxbO3rSUYZHhZk0S2SzcDA4PlAVFr iXODhQ3Gir0+zGWNzdpD1+6PxuEGYhWrXq6ShRx1ASWdwh60KLz/BcJhPuaQvdV37QeuS5np S8nVE2l0YfwDNyN7xFkYL0aeck0tV5B2XjUtkp9eISnN615jUM2fAF+vkeo3BJyWc1bicZ/l Hox10JpLL6AllZIdjeWx5f1b7TRJnP//VavLbbRwlzF28u+9aIG6fB+oFLm70myDkR31XJh3 pFO1meEoJXHCA1HSZXqTkM+7AR3vZnfayg5oprKjDhibfXyvTjF1NYkQuAiz35MZv95N6WJX E/3GsweXI21LfAy3kOudlQCNfxT86g9O4WnceGH0eilJrQomjXulmlB7I1ntyDEvyNhVu7F2 YoEyPCEz0OGUTn7llKorsHwn8hNezgTGmO1zSWsCpRWY+V+eoMCCGHmJMPSpJ02jpjhQXNZs l7lH1Qe1dSiZDKdalX82Utb0kFW6X2rlC2kziBlxikzp/n6vmSGyODjeRwbf29TETM63BG8f M7u1oFcABT7Cmph3AGo7kv72aVB8aF2Lm2IBFxNYzCzNGZ6FK25qruFZcdLrpIuqyReFuqmM jX4AvbwpQUX1yT7Ei5Q3jc+InujvJnjkh08iCSFK25+t3HEUc51zBbbotfbQLQCu1hODDk9k jTRClWmapOg+9mOmpaFsqamUHqsTZZOWSbuxIKE8iC84Cc5ZH/31+D2kdrhHw8g1Cb93NQ/T iTEoiH3ZYzz3ri7O+ZqFqVxLGf18NEyWoR3k49rwYoVxWBfnZKNu3wOjWb0N9xfn6P4dnsEA zARkZbZ5w3s2UsrKXzspcqxX3OR2MZgIdn8emQO1zk28uhFDa6V6PpPmi49rlejrA3XaORwh X9HkapouCNc2bhY/lZxhiyGZ9JaVVFVJyntiwiF45iloaNbaXzuObm82UxinMywWbSLowVSQ nH8Kd8pGS596Nk6MUqZiiWirNG5PoOJPJRP6k7x8V+IleVeJZMvm+BfgCNmPTm4png506sgi gQo25imvY+BImEr/aSjAxceOCemAqFbsjzrk6tamd6bmo61GZA0UDwNUIHlTLSoVioVrfn8P BumHzg1q3PdEr3aV1z6ig8uvzfUHpanOmvCbnAfwc9vRV+dYlRYmA0PVygSkZswFwTsz8vkO hQchHhZ9hvzrR1CzfhtPh/0XzLEpQumXTwzTYCWMBtc6gwRr1eQK8GV6fh/Wj1J5pD05hLYM XSVPk4baANBElzBHV3oOaOioMXN4/TNTPTrNOPAOP2PsbAMDKrOnMP3lNE6oHDUcZ/Tdnh6U 69lhgwZBis/QpqB3W1IEn1y9WqFbtbH9knivHQv9IbntqysAlqn5JPTWeUMd48zqlbm2eHbc LTIzCdhdWQHjNVVmTmRmeJZhBlL20QMP3GsCehS6nKLFfiN3PcRV1lCNWtyLJcatvpsmFASZ oiLzIuyjOcwj+ZpWQ4aDhq4y53vPYpSZDjjUTGPTEeTaObcfWyNk5yxOPnsD+UX1boctgXs6 2zCTQm+bnLaxmOvD1f2YKlNlH3JZkUA/tvmI1A2Uy67C4u3D3/zeMl+iTl8qVEtrlXNM2NUc T11ckcW66aV8TsdmfJnXWpI8ntiK+CA3Sef9ejRbJgM47NtBWxvmuRW7W5fqfMd5TxYRPFzh CrZr8J/61CgnO6VzzN7UR1I4j9VjYOPtE9mNO3X7J5FEXrD+RsM6y2XBXFo75N9DcbzvqlL1 tXVvKf6KTMH6syNuMVAW47bL8WINHdnOh3sWXbVAAYDUT+3JDTfikhaw5TwvjWeqpk3rISpm YJbEOcKEgxoUKlDWwI5QI9nQt8/RD4vnL+FgdRd4HO/qEKUX8BGptXcUerUB/zzKTGfhL0CZ h0SwLq+I55AU++zk0FkdFR+m5zHXkTKWtUY6CRnYhU5oQNNtmB5VmAo0F/NZQak4XtVHvmx1 E1T6EM2caE2+THg7k1ibELNvzc1mVItlM/NhDmQdHvoMv71U90KTSXzsEc1P9XwRAM/PmjQ1 QR0cTzDQbxWlb5pc2tm3RTdtZV4EvlZVaRYYRUUyJl/gt0n1F1drmOswkoVvYMt6LNnnQouN Iey9jdOh14lY9kyKqjdYqFOywoI7kphliCt3+E1hgQZIhRUmF4= IronPort-Data: A9a23:QX/Hn6iQSBU3BHjYr17v88tbX161thYKZh0ujC45NGQN5FlHY01je htvD22POKzeMGOjc95xYIS3pxhU6JfUm9E3SwRsqH8zRCljpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UKieUsxIbVcMpB0J0HqPoMZkxN8w6TSFK1nV4 4mq/5eBYAXNNwNcawr41YrT8HuDg9yp4Fv0jnRmDRyclAK2e9E9VfrzFInpR5fKatE88t2SG 44v+IqEElbxpH/BPD8KfoHTKSXmSpaKVeSHZ+E/t6KK2nCurQRquko32WZ1hUp/0120c95NJ NpliK2ZUSoAPPH3lb5CCQZBEQUgL4BWweqSSZS/mZT7I0zudnLtx7B3EhhzM9FEvOlwBm5K+ LoTLzVlghKr3brnhuLmDLM114J/cKEHP6tH0p1k5TjfAewrQNbDBb3N/dJD1yoYicVHHPKYb M0cAdZqRE2aP0wfYw9HYH44tKSwpiPxdRdKkVCQuY1rxHTa9AN9jJG4ZbI5ffTTHZkP9qqCn UrN9mH9RxUbL8C30iuA6nvqh+nVnCq9Vph6PLa/77thhECZ7ncCDQUfE1q9u/iwzECkM++zM GQR8ysq6LEsrQmlEoW7UBq/r3qJ+BUbXrK8DtHW9imw+4PMzi+bWlMJFGEbd8UkkJEkaCwTg wrhc8zSORRjt7icSHS4/7iSrC+vNSV9EYPkTX9VJefiy4mzyLzfni4jXf44T/Ho1oyd9SXYh mHV/HJn1t3/mOZSj/3jlW0rlQ5AsXQgc+LYzgDeX2bg9x0gIYD5O8qn7l/U6fsGJ4GcJrVgg JTms5jFhAztJcvV/MBofAnrNOz4jxpiGGCN6WOD57F7q1yQF4eLJOi8Gg1WKkZzKdojcjT0e kLVsg45zMYNYSP7NvYnPd/uVJlCIU3c+TLNBqG8gj1mMsgZSeN71HwGibO4hDC2wBd3wcnTx 7/CKZ38XC5y5VtbIMqeHr9Bi9fHNwgxwmTcQZ2T8vhU+ev2WZJhcp9caAHmRrlhssus+VyJm /4CaZbi40gACIXWP3iPmaZOfAtiBSVqVfje9ZYLHsbdeVEOMD96W5fsLUYJIdMNc1J9zbeWo BlQmyZwlDLCuJEwAVjUOi07NOOzDP6SbxsTZEQRALph4FB7Ca7H0UvVX8JfkWAP+LMxwPhqY eMCfsncUP1DRi6WqTsYZJj56odlcU3z1w6JOiOkZhk5foJhF1SZoI+6IlO3+XlcFDezuOs/v 6akiVHWTJ8FcAJoU5TbZfep+FWusCVPg+l1RUbJfoJedRy0oohnIiD8lNEtJMQIJUmRzzeWz VfEDhIRpO2LqIgwqYGbiaeBpoavMu1/AksKRzmBvejqbXHXpzPxz5VBXeCEeSHmeFn1oKjyN /9Iy/zcMeEcmAkYvod5FYFtx/1s6tbqoYhc0V04TnjGalKcCoRgLGOD6s9Bu/Af3bReowa3B huC99QGa7WEPMTpTAwYKAY/NL/R0PgVnnzL861wLhmmoiBw+7WDXANZOBzV0H5RK758MYUEx +Y9uZ5Jt1bu1EJyatvW3DpJ82msL2AbV/l1vJ8tBoK22BEgzUtPYMCBByKqsouDbc5AbhsjL jOO3vGQgr1dwg/bbSN2GySRm+VagpsKtVZBy1pbfwaFnd/Mh/kW2hxN8GRoEl4EkE0fi+8ja HJ2M0BVJLmV+2s6jsZ0WW3xSRpKAweU+xCsxlYE/IEDo5JEioAQwKwB1eexEIQx9mtden1C4 ujdxjq5Fznte8710205XksNRzkPizBu3lWqpSxlN53t81oGjf7NjaqnZG5OoBziaS/0rFOSv vFkpY6cdoWiXRP9YMQH502y2rEZSRTCL2tHKR2kEGXlAkmEEAyPNfOyx4xdty+DyzEmMaN1N iC2Gv9yag== IronPort-HdrOrdr: A9a23:PrmVdqr+x8H/R8/BMPXfyPQaV5omeYIsimQD101hICG9E/bo8P xG+c5w6faaskdzZJhNo7C90cq7IE80l6QFg7X5VI3KNGLbUQCTXeRfBOXZslnd8u7FmtK1F5 0MT0GzMrLN5JFB4/rH3A== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.90,291,1643670000"; d="scan'208";a="12498108" X-MGA-submission: =?us-ascii?q?MDHl77C6SPQPOBQ0s+9YuPJYjGYrCXJl6PXk0a?= =?us-ascii?q?pK7D98/Igqn9oxoNMB0PCnP+Vi5OXxU4h65DMXCjd6eJsCyiV5wZaf06?= =?us-ascii?q?7ajHtF1QiVDoZg145YslEt3TJG0p26FwQojFYdN+uSdGsmqU3Iob7HOV?= =?us-ascii?q?R185oitQSAC2Gy0aSCNiyRzw=3D=3D?= Received: from mail-qv1-f44.google.com ([209.85.219.44]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 26 Apr 2022 22:35:00 +0200 Received: by mail-qv1-f44.google.com with SMTP id 1so4064927qvs.8; Tue, 26 Apr 2022 13:35:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to; bh=ebihEQVxv5IlxYZ4Vm88kqznw1P8h/T0VkiALqwTECg=; b=Zh/V1GCJhNRUonshH5q+SS8UyNHDSpG7xxcrgp8VloFOA1AFVCJpPV68HwyPB/vOh+ Ln8ta17m4Lt12KyUCc5TsPzmy394suae2ChCvq/5AYK9Ga1mOly0NoWV0nRONEZ1tgqJ mCuLMXslXkep4ft6TA8K3F0wgtvs0YeKSg0Oh4zXu+s67srehFK04vEp8DSy9FBfF5Cy BOX5hBurnauV6GmzsAlMbFiJvwAWt6kmDJ7NneReVqLavn9scAz8S/XurybVWSWwuOf+ Fq2MYBdjCo+FDYJ8L3Xj0390u4LIF9JokByCdUqjJ7QTocduUUMHm0jgfFndt+rcQnqL CaNg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=ebihEQVxv5IlxYZ4Vm88kqznw1P8h/T0VkiALqwTECg=; b=xlw5lUDbZsi0UYev4BApLXK2uxhu5uwycYuduIeuLB04XKa+goaH8ovec4Na06UPIW XerMrXNlPwxzcTQwZ9A7zfPRVHmQC0Xl+3LbuKc5wui2U8Z3mth2cbTa2lutY+23ICyr 4WFgrnMoIWH2SUXUTf3WlOERhvjTZrfSgiyNmIjYuintzucJwfxSFoNSi/rNKjhFkUjo /27r6vKYpMq/6+lggygMFUL/OTEKDzaan0NwRJlLlyg6VA9QaZh0fJgi4QUcqr/sYQQv ksFrJPPydDHFm8/e6X6IYafyr14o5s0HBcxvvknvSXURKQ69133Bss9k7eo6EPZ1ugjW zwnQ== X-Gm-Message-State: AOAM532CMfuLzokAZcvyajT+3O6cW+wbtb/n7cdJBXFo4b89yog64QBt vh0W/zvdwgiDKxn+YTKbS0dJ5OnoaVpiMtNWfoq5aW9XXSA= X-Google-Smtp-Source: ABdhPJy+NwTONwpMLDEMh+YPn8YKfqowhEPlOC2Ii9taRQ9/vZCL7Pp56Z5FJoJ9YPanZdKvjmIUVW2soHBIOwbBewk= X-Received: by 2002:a05:6214:2a8e:b0:443:c82b:4ba7 with SMTP id jr14-20020a0562142a8e00b00443c82b4ba7mr17699202qvb.74.1651005299337; Tue, 26 Apr 2022 13:34:59 -0700 (PDT) MIME-Version: 1.0 From: Andrei Popescu Date: Tue, 26 Apr 2022 21:34:48 +0100 Message-ID: To: caml-list@inria.fr, cl-isabelle-users@lists.cam.ac.uk, coq-club@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: 18747 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/COY785/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