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 D05787F0BA for ; Sun, 5 Feb 2017 12:13:40 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=m.roggenbach@swansea.ac.uk; spf=Pass smtp.mailfrom=m.roggenbach@swansea.ac.uk; spf=None smtp.helo=postmaster@laurel.swan.ac.uk Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of m.roggenbach@swansea.ac.uk) identity=pra; client-ip=137.44.100.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="m.roggenbach@swansea.ac.uk"; x-sender="m.roggenbach@swansea.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of m.roggenbach@swansea.ac.uk designates 137.44.100.6 as permitted sender) identity=mailfrom; client-ip=137.44.100.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="m.roggenbach@swansea.ac.uk"; x-sender="m.roggenbach@swansea.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@laurel.swan.ac.uk) identity=helo; client-ip=137.44.100.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="m.roggenbach@swansea.ac.uk"; x-sender="postmaster@laurel.swan.ac.uk"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AC7Zm7R2ed0En7oUNsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIWKvad9pjvdHbS+e9qxAeQG96Kt7Qb1qGM6ejJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMizexe7F/IRW5oQnPqMUdnJdvJLs2xhbVuHVDZv?= =?us-ascii?q?5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnM?= =?us-ascii?q?URGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LptRRT1ii?= =?us-ascii?q?kIKiQ5/XnXhMNsg61VvRGvqRJhzYDTe4yaLuZyfqbHcNMaWWZNQMBcXDFBDIOm?= =?us-ascii?q?aIsPCvIMM+FCoInnpFsOsAC+DhSwCuPoxT9IiWH53ash3Os7DQ7G3BErEtULsH?= =?us-ascii?q?jOttX1M6gSUe+rw6nO1jrMde9Z2Tfm5YjTfBEuu/eMXalufsXL00UgDR/Kgk+N?= =?us-ascii?q?qYzmJj6Y0PkGvWac7+plT+2vimgnphlzojio3cgskZPFiZgJxVze6CV5w4A4Ls?= =?us-ascii?q?C7Rk5jedOoDZVduiOAO4Z5Tc4uWXxktDomxrEcuJO3ZCsHxZU9yxLCZfGLbpKE?= =?us-ascii?q?7g/jWeufOzt0mnJodb25ih2v60av0Pf8WdOx0FtSripKjN3MtncV2hzX8MeHV+?= =?us-ascii?q?F98Vml2TqVzADS5PtLIUYumaXBN5Et2KMwlpkLvUTCGC/5hln2gbeLekgq+OWk?= =?us-ascii?q?8evqb7r8qpOBK4N4lhvyP6U2lsy6G+s4MwwOX2aB+eS70b3u5Uj5TK9Qjv0xna?= =?us-ascii?q?nZv47VJcIAqaGjHwBV0p0u6w2xDji81tQYhmcII0hfdB2dk4flIUzOIPPgAfel?= =?us-ascii?q?n1usiCtrx+zBPrD5HprCNH3DkLP4cbZ56k5c0xYzwMtE55NUD7EBOOj8VlXwtN?= =?us-ascii?q?zeFB85Mha7z/zpCNVnhcsiXjeEC6qddafTqkOg5+Q1IuDKapVGliz6Lq0A7uTt?= =?us-ascii?q?kGRxo1gScqSv15IcaDjsG7J8JEqWbHzmi9wBOXwVtwwlQeWsgVbETD0FNCX6ZL?= =?us-ascii?q?41+jxuUNHuNozEXI342LE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AKAQCvB5dYhwZkLIlUCRwBBQELARgGD?= =?us-ascii?q?IQLA4EGAbctAS2CPoYYQhUBAQEBAQEBAQEBARIBAQEKCwkKHS+CMxmDPDtNKol?= =?us-ascii?q?zBAqeZJImh1wag0YBJYZMggWCaoQtc4IADFyCMQWbZoFNkjeFF4MqhkaOXoQuN?= =?us-ascii?q?YEgYFEBgiGBTVUlgUh1AYkEAQEB?= X-IPAS-Result: =?us-ascii?q?A0AKAQCvB5dYhwZkLIlUCRwBBQELARgGDIQLA4EGAbctAS2?= =?us-ascii?q?CPoYYQhUBAQEBAQEBAQEBARIBAQEKCwkKHS+CMxmDPDtNKolzBAqeZJImh1wag?= =?us-ascii?q?0YBJYZMggWCaoQtc4IADFyCMQWbZoFNkjeFF4MqhkaOXoQuNYEgYFEBgiGBTVU?= =?us-ascii?q?lgUh1AYkEAQEB?= X-IronPort-AV: E=Sophos;i="5.33,338,1477954800"; d="scan'208,217";a="212082012" Received: from laurel.swan.ac.uk ([137.44.100.6]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Feb 2017 12:13:40 +0100 Received: from [137.44.2.59] (helo=cs-svr1.swan.ac.uk) by laurel.swan.ac.uk with esmtp (Exim 4.87) (envelope-from ) id 1caKlH-0003RP-RT for caml-list@inria.fr; Sun, 05 Feb 2017 11:13:39 +0000 Received: from [192.168.0.4] (host86-131-153-254.range86-131.btcentralplus.com [86.131.153.254]) by cs-svr1.swan.ac.uk (Postfix) with ESMTPSA id B04526421D9 for ; Sun, 5 Feb 2017 11:13:39 +0000 (GMT) From: Markus Roggenbach Content-Type: multipart/alternative; boundary="Apple-Mail=_C7A6089A-EAC6-4936-887A-C08BB27E369E" Mime-Version: 1.0 (Mac OS X Mail 10.2 \(3259\)) Message-Id: Date: Sun, 5 Feb 2017 11:13:39 +0000 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3259) X-Validation-by: m.roggenbach@swansea.ac.uk Subject: [Caml-list] Research officer in theoretical foundations of cyber security at Swansea University --Apple-Mail=_C7A6089A-EAC6-4936-887A-C08BB27E369E Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Research officer in theoretical foundations of cyber security at Swansea Un= iversity Duration: 3 years Available now Application deadline: 24.2.17 URL: http://www.jobs.ac.uk/job/AWX894/research-assistant-officer-in-theoret= ical-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;=20 - 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 b= e valuable, however not be necessary. For informal enquires please contact Prof John Tucker (J.V.Tucker@swansea.ac.uk ) or=20 Prof Markus Roggenbach (M.Roggenbach@swansea.ac.uk )= --Apple-Mail=_C7A6089A-EAC6-4936-887A-C08BB27E369E Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii Research office= r 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/AW= X894/research-assistant-officer-in-theoretical-computer-science-theory-of-s= ecurity/

Within an EPSRC funded project, w= e have a research position that
offers an opportunity to unde= rtake 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 tech= nologies;
- digital identities;
- authenticatio= n and certification.

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

We encourage any= candidate with experience in

- theory of comp= utation;
- formal methods for software development;
- logic and AI; or
- computer security
to apply for our position. A previous track record in cyber se= curity will be valuable,
however not be necessary.

For informal enquires please contact
Pro= f John Tucker (J.V.T= ucker@swansea.ac.uk) or 
Prof Markus Roggenbach (M.Roggenbach@swansea.= ac.uk)= --Apple-Mail=_C7A6089A-EAC6-4936-887A-C08BB27E369E--