[Agda] Posts in security in Swansea (possibly connected to Agda) deadline Fri 22/3/18

[Setzer A.G.]

Dear researchers,

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:

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Four permanent academic posts in Computer Science aligned to Cyber Security

   at Swansea University, UK (deadline 22 March 2018)



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.


This call for 4 permanent academic positions in the area of Cyber Security is part of this expansion programme.


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.


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.



More information on these positions can be found following the links.


1 Associate Professor (Research) in Cyber Security

- https://tinyurl.com/SU-APsecurity2018


1 Lecturer in Computer Science (Research) aligned to Cyber Security

- https://tinyurl.com/SU-CSsecurity2018


1 Lecturer in Human-Computer Interaction (Research) aligned to Cyber Security

- https://tinyurl.com/SU-HCIsecurity2018


1 Lecturer in Computer Science (Teaching) aligned to Cyber Security

- https://tinyurl.com/SU-CSsecurityTeaching2018


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180318/1291046d/attachment.html>