coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Research officer in theoretical foundations of cyber security at Swansea University

From: Markus Roggenbach <m.roggenbach AT swansea.ac.uk>
To: coq-club AT inria.fr
Subject: [Coq-Club] Research officer in theoretical foundations of cyber security at Swansea University
Date: Sun, 5 Feb 2017 11:06:10 +0000
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=m.roggenbach AT swansea.ac.uk; spf=Pass smtp.mailfrom=m.roggenbach AT swansea.ac.uk; spf=None smtp.helo=postmaster AT laurel.swan.ac.uk
Ironport-phdr: 9a23:aNsIchG7lxQ9h4JMIOv1O51GYnF86YWxBRYc798ds5kLTJ78rsWwAkXT6L1XgUPTWs2DsrQf2raQ7P2rAzZIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSijewZbx/IA+0oAjRucUan5VuIbstxxXUpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1jioMKjw3/3zNisFojKxUvB2vqBNizYDXbo+bKv1wc7jBfdMDQGpNQsZRWzBfDo66coABD/ABPeFdr4TloFUBtwG+BQqxBOP01zRGmnj23aI10+s/FwHJxxYvEM4OsH/Jq9j1Mb0eUfqyzKnHwjXMcfVW1izn54fUchAsuuqMXLxqfsrX0kkgCRnKgk+KpoP5JT+Vy+cNvnGd4uF9W+yvjGsnpBtwojip3sosiI7JiZkOylze7yp23Jw5JcC7SEN9fNWqE4NQujmHO4Z4QM4uWW5ltSkgxrEbpZK3YDIGxZU/yxPcavGLaZWE7xz+WOqLPDt1hHxodKihixuy/kWtzPD3WNOu31ZQtCVFl8HBtnAT2BzX7ciKUv998V282TaVyQ/T7vtIIVs6lKXBLZ4t2KQ/mYYJvUTeHS/6gET2jKmIeUU44uWk9urqb7f8qpKTOIJ4kBzyPrgylsClAOk0Kg0OUHKa+eS42r3j50r5QLBSg/0ziKXZqpfaJcsUpqGnBQ9ayZws5Aq/Dzq9y9QZk2MILFReeB2ZlYflIUvBL+ziAfeigFSgiC1ryOzePr39HpXNKWDOn6vmfbZk8kJT1A4zzc1E6J9PEbEAIPfzWlfru9DCDx85NRa0w+f9B9ln2IMeQzHHPqjMO6TL9FSM++gHIu+WZYZTtiyuBeIi4qvLhGU6hERVR66m0pYRYnmzHrwyJgODZnXjj9ELGGwKlhEhRerxhVTEWDUVenXkDPF03S0yFI/zVdSLfYuqmrHUhCo=

Research officer in theoretical foundations of cyber security at Swansea
University

Duration: 3 years
Available now
Application deadline: 24.2.17
URL:
http://www.jobs.ac.uk/job/AWX894/research-assistant-officer-in-theoretical-computer-science-theory-of-security/

Within an EPSRC funded project, we have a research position that
offers an opportunity to undertake research in the broad area of
Trust, Identity, Privacy and Security. To this end we want apply
algebra and logic in explorations of topics such as

- security and privacy properties for data sharing;
- block-chain technologies;
- digital identities;
- authentication and certification.

The position provides an opportunity to enter the important,
developing field of formal methods for cyber security.

We encourage any candidate with experience in

- theory of computation;
- formal methods for software development;
- logic and AI; or
- computer security

to apply for our position. A previous track record in cyber security will be
valuable,
however not be necessary.

For informal enquires please contact
Prof John Tucker
(J.V.Tucker AT swansea.ac.uk)
or
Prof Markus Roggenbach
(M.Roggenbach AT swansea.ac.uk)

[Coq-Club] Research officer in theoretical foundations of cyber security at Swansea University, Markus Roggenbach, 02/05/2017