coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield

From: Andrei Popescu <andrei.h.popescu AT gmail.com>
To: coq-club AT inria.fr, hol-info AT lists.sourceforge.net, lean-user AT googlegroups.com, matryoshka-devel AT lists.gforge.inria.fr
Subject: [Coq-Club] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield
Date: Wed, 19 May 2021 20:22:05 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=andrei.h.popescu AT gmail.com; spf=Pass smtp.mailfrom=andrei.h.popescu AT gmail.com; spf=None smtp.helo=postmaster AT mail-qt1-f171.google.com
Ironport-data: A9a23:V2bo/aqt5S6PNakhRwKzHD/KOcBeBmJtZBIvgKrLsJaIsI5as4F+vmUbXGyOOP+PYmWmLdB1bNi29BhVuMKBz99rTlZtqi9mZn8b8sCt6faxfh6hZXvKRiHgZBs6tJtGMoGowPjZ/xYwnz/1WlTahSQ6hfvgqobUUraeY3gsHF48Fk/NtDo68wIHqt4w6TSGK1jV0T/Ci5W31G6Ng1aYAEpMg06wgE8HUMDJhd8tlgdWicanE7PpvyJ94Jo3fcldJpZjK2VeNrbSq+3rlNlV8o5FlirBBO9Jkp6jGqELarvbPAzLk2YPHqb73UEEqSs13aI2cvEbbC+7iR3Tx4E3mIgL7MLoD152Z8Ugm8xFO/VcOyh4MbdL+fnHZ2C4qcGIxFDufH7lwvEoB0YzVWEd0r0nWDAXrqJGeVjhaTja377sqF6hccFngd1mJ832NqsEq3R4xHfYC+wnSNbNWc33CXVwyG9l3IYRCa+LP4xBfWA6NFKaMkwWLgxCUNRjiLj9r2fbWDh8hFKxhKMR33L38g1UxOG1ZYKRIMjiqd59m0+Zoiff4z28DEhFbZqQzj2K9n/qjejK9R4Xkbk6TNWQnsOGSnXKroDSNPEXabd/ifywi0r7Qs4GbkJNpXNooq81+0imCNL6WnVUZVbsUgE0A7Jt/y8SsWlhCZY4Jy6WA2EFSnhKb9lOWAoeW2kxzlHQ9z/2LWUHjVBWIE5xMp+bqDqzPW4eKmpqieosJecay4GLnbzfRS4jgjqu/GBZQzE19fzNL+i2kRUD
Ironport-hdrordr: A9a23:uwCZ5ar/Z8dErGeKULR3a+kaV5omeYIsimQD101hICG9E/bo8PxG+c5w6faaskdzZJhNo7C90cq7IE80l6QFg7X5VI3KNGLbUQCTXeRfBOXZslnd8u7FmtK1F50MT0GzMrLN5JFB4/rH3A==
Ironport-phdr: A9a23:pCJwsxLI75KZRA9zstmcuAhhWUAX0o4c3iYr45Yqw4hDbr6kt8y7ehCGtLM30g6CDNqTwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnAJYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7yuS/94fNbwhJgDexbrd/IRerpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykCoIOD43/m/UhMJtkqxUvAmspwBjz4POfI2ZKOZyc6HbcNgHRWRBRMFRVylZD46gaYsAEvABMvhZr4LgvVUOqgO+Che3BOzz1z9Dm3j70rc80+s8CwHJwg0gE8gOsHjOtNX1M78SXv6uzKbU0DXOdPxW2TLn54jJdhAtu+2DXbV1ccfIz0QkCgzKgEmKp4P/IzOVyvoCs3Kd7+d4Wu+il3Mqphx+rzWz2sohlo3Ei4YLx13K6yh0wJg5KcO5RUJmZdOpHplduS6GO4doTc4vQWFltTs+x7EapZK1fC4Hw4kpyR7YbvyIaYmI4hT7WeaTJjd3n2lldKiliBmu60Sg1+78W8+p21hJtipIisfAumwJ2hDJ6cWKSuFx8lqg1DqTzQzf9+NJLV0ymKHGMZAu2KQwmYAWsUnbHi/5hkH2jKiOe0Uh4Oeo6uDnbqz/pp+AKoN4kw/+Prksl8CiG+g4PQ8OX2+U+eS4yrLv51H2QLJPjvEuk6nZto7VJdgDq6KnHwNY1pwv5hW/Aju8zdgVnGULIEhYdB+FkoTlI1TOL+r5Dfe7jVSsijBrx/XeM7L7BJXCM2LDn6ngfbpn605Q0hIzzddH551KEbEOPO/zV1T+tNzdFBA5Mgi0z/z7B9V604MSQXiPDbOBMKPOrV+I4foiLPWLZI8MoTryN/wl5+P1gnIigl8cfayp3YMNZ3yiH/RmJV+ZYXv2jdsbH2cKpFl2cOu/g1qbFDVXenyaXqQm5zh9BpjiRYfEQsWshrKG9CO6BYFNIHtBF0qHHHnvbYqJHfEBdGbaJsJolHkZTrW7Y4Am0h6quQDgzKd/Nazf/Shc/ZfqyMJk4PbTlhh3+TFqAsC112CWU3oykW0PXTA7mqF5u010jFmZgoZihPkNPNpf/f5IGj89LZPHxPEyX9n0VhjMf5GJDk6hWti9CiwZQdc4wttIaEF4TYbxxivf1janVudG34eAA4Y5p/q0N5nZIs98zzPfyPBkgQB5G41AMmqpgqM5/A/WVdahe6CxmKOjdKBa1ynIpj/rJYWms0RRUQo2WqLADyl3Ww==

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

[Coq-Club] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield, Andrei Popescu, 05/19/2021