From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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) 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-qv1-f44.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of andrei.h.popescu@gmail.com) identity=pra; client-ip=209.85.219.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andrei.h.popescu@gmail.com"; x-sender="andrei.h.popescu@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of andrei.h.popescu@gmail.com designates 209.85.219.44 as permitted sender) identity=mailfrom; client-ip=209.85.219.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andrei.h.popescu@gmail.com"; x-sender="andrei.h.popescu@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:35.190.247.0/24 ip4:64.233.160.0/19 ip4:66.102.0.0/20 ip4:66.249.80.0/20 ip4:72.14.192.0/18 ip4:74.125.0.0/16 ip4:108.177.8.0/21 ip4:173.194.0.0/16 ip4:209.85.128.0/17 ip4:216.58.192.0/19 ip4:216.239.32.0/19 ~all" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qv1-f44.google.com) identity=helo; client-ip=209.85.219.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andrei.h.popescu@gmail.com"; x-sender="postmaster@mail-qv1-f44.google.com"; x-conformance=sidf_compatible 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 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