Subject: Ssreflect Users Discussion List
List archive
[ssreflect] two proof-assistant friendly posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020
Chronological Thread
- From: Andrei Popescu <>
- To:
- Subject: [ssreflect] two proof-assistant friendly posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020
- Date: Fri, 20 Nov 2020 13:32:05 +0000
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=Pass ; spf=None
- Ironport-phdr: 9a23:brsShBA33Y5ayMFJM27WUyQJP3N1i/DPJgcQr6AfoPdwSPTzpcbcNUDSrc9gkEXOFd2Cra4d1KyP7/irBDVIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfLF/IA+roQjeqsUajotvJrsswRbVv3VEfPhby3l1LlyJhRb84cmw/J9n8ytOvv8q6tBNX6bncakmVLJUFDspPXw7683trhnDUBCA5mAAXWUMkxpHGBbK4RfnVZrsqCT6t+592C6HPc3qSL0/RDqv47t3RBLulSwKMSMy/mPKhcxqlK9UrxKvqRJ8zYDJfo+aKOFzfr/Bcd4AWWZNQtpdWi5HD4ihb4UPFe0BPeNAooThoVsBsAG+ChetBOjy0DFIgWf20rMh0+s9DAHNwQstEMgIsHvJttX6KqYSXfq1zKXS1TXDaOtW1inm6IfUbxAsuv6MXbdqfsrQzUkjDR/KjlKVqYH8OT6ey+sCvXSB4eV6SeKvl3Aoqxt3ojW3ycohlpTEi58ax13Y6Sh03II4KNmmRUN1f9OpEIVcuz+bOodrRs4vTWNltikmxrEYtpO2figHxYkjyhLDd/CJc46F6Q/tWuaWJDd3nnNleLSnihaw9kiv0fb8WtOu31lWtCZFj9rMu3YQ3BLQ8siKUuVx8lul1DqV1A3e6vtILV4qmabFMZIt37w9m5sVvE/eBCH5gl/2g7WTdkg8+uin9eDnYrL+q5+ZLYB0iwX+Pr03msy8HOg0KwYOU3WZ9Om9zrHj8kr5QLJFjv0yjKbVqozVJcMepqKhAg9V1Jgs6wqnAju4zNgVmWMLIVFFdR6dkYTlJU/CLOrlAfq9glmgiDJryOrHPr3lDJXNNH/DkLL5cLln7U5T1RAzws5e555OCrENOurzWkjptNPGFR82LxG0zv3oCNV4zIweWGaPDrWFP6PVtF+E/vgvLPWUZI8JpDb9LOAo5+X1jX8jh1Adc62p0oULZ3CkBflmOEWYYX/0gtgbC2sKvww+TPbriFKYSzJTaWyyDOoA4WQgE5irA4POTZyFhaebmSa9BJxfIGFAEFGFV3nyJKueXPJZQSSeOMJg2gQDTbW6QJJpgRiouBX3yvxnaPLT4iADvo/L29185umVnhY3o28nR/+B2n2AGjkn1lgDQCU7ifgm8B5Nj2yb2K09uMR2UNla5vdHSAA/bMeOwOlzCtS0UQXELI7QFASWB+6+CDR0deofhscUah8kSdqnhxHHmSGtBu1NzuHZNNkP6qvZmkPJCYN9xnLBjvdzilAnRo5WNjTjiPcgqU7cAInGl0jfnKGvJ/wR
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
- [ssreflect] two proof-assistant friendly posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020, Andrei Popescu, 11/20/2020
Archive powered by MHonArc 2.6.19+.