<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" id="owaParaStyle">P {margin-top:0;margin-bottom:0;}</style>
</head>
<body fpstyle="1" ocsi="0">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">Dear researchers,<br>
<br>
we have here in Swansea a strong theory group, and I in particular have been starting to explore the use of Agda in verifying security. So the following posts might be of interest to some of you:<br>
<br>
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~<br>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;" id="docs-internal-guid-7cbb6394-367b-7016-7796-acbc75e9f0d9">
<span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Four permanent academic posts
 in Computer Science aligned to Cyber Security</span></p>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">   at
 Swansea University, UK (deadline 22 March 2018)</span></p>
<br>
<br>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Computer
 Science at Swansea University has embarked on a £31M programme of work – the Computational Foundry (http://www.swansea.ac.uk/science/computationalfoundry/) – to make Swansea a beacon for Computer Science, attracting and retaining world class researchers, building
 up a talented future workforce who will innovate, and providing a purpose-built set of labs and innovation spaces on Swansea University's recently opened £450M Bay Campus.</span></p>
<br>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">This
 call for 4 permanent academic positions in the area of Cyber Security is part of this expansion programme.  </span></p>
<br>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Computer
 Science at Swansea University has a growing group on Cyber Security, where scientists have made contributions, e.g., in the digital economy, on crypto currencies, on security and privacy of personal data, on cyberterrorism and cyber crime, on mobile security,
 to name but a few. In this, Swansea Computer Science takes a holistic and interdisciplinary approach, bringing together expertise in fields as diverse as formal modelling, data mining, visual analytics and information security management, and reaching out,
 e.g., to Swansea's Hillary Rodham Clinton School of Law.</span></p>
<br>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">UK
 Computer Science is very strong in global terms and is a magnet for outstanding staff and students. The Computer Science Department at Swansea University is highly ranked for both teaching and research: The Guardian University Guide 2018 placed it 5th in the
 UK and 1st in Wales, and top in the UK for careers (employment after 6 months, with 97%); the Times Good University Guide 2018 placed it 13th in the UK and 1st in Wales; the National Student Survey 2017 ranked it as 5th in the UK with 94% overall satisfaction,
 and 1st in Wales; and in the Research Excellence Framework (REF) 2014 it was ranked 18th in the UK and 1st in Wales.  Based on these successes, Swansea Computer Science has embarked on the Computational Foundry programme to make Swansea a beacon for Computer
 Science. The Department will be moving into the Computational Foundry building on Bay Campus in August 2018. This building comprises nearly 7,500 m2 of purpose built Computer Science facilities and includes extensive up to date research and teaching laboratories
 and spaces. The Department has longstanding major projects in engaging with business, education and civic society. Currently, our Technocamps Unit is a driving force for educational reform in computing in Wales. We provide industrial education. The Department
 has recently been selected as the home for one of the UK’s Digital Economy Centres.</span></p>
<br>
<br>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">More
 information on these positions can be found following the links.</span></p>
<br>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">1
 Associate Professor (Research) in Cyber Security</span></p>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">-
 https://tinyurl.com/SU-APsecurity2018</span></p>
<br>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">1
 Lecturer in Computer Science (Research) aligned to Cyber Security</span></p>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">-
 https://tinyurl.com/SU-CSsecurity2018</span></p>
<br>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">1
 Lecturer in Human-Computer Interaction (Research) aligned to Cyber Security</span></p>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">-
 https://tinyurl.com/SU-HCIsecurity2018</span></p>
<br>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">1
 Lecturer in Computer Science (Teaching) aligned to Cyber Security</span></p>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">-
<a href="https://tinyurl.com/SU-CSsecurityTeaching2018" target="_blank">https://tinyurl.com/SU-CSsecurityTeaching2018</a><br>
</span></p>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><br>
</p>
<p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;"><br>
<span style="font-size:11pt;font-family:Arial;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;"></span></p>
</div>
</body>
</html>