[TYPES/announce] Positions in Swansea with opportunities in types, semantics, programming languages, verification, logic.

[Markus Roggenbach]

Swansea computer science is currently offering a number posts, including 

1 Lecturer (Dependable Systems) – Research - https://tinyurl.com/swansea-cs-lecturer-dependable <https://tinyurl.com/swansea-cs-lecturer-dependable>

which is dedicated to types, semantics, programming languages, verification, logic.

There are also 

4 Lecturers in Computer Science (Research) - https://tinyurl.com/swansea-cs-lecturer-general <https://tinyurl.com/swansea-cs-lecturer-general>

which are open to any topic, including types, semantics, programming languages, verification, logic.

The whole is part of a larger package:
Computer Science at Swansea University has embarked on a £31M programme of work – the Computational Foundry – 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.

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 Times Good University Guide 2017 placed it 12th in the UK and 1st in Wales; the National Student Survey 2016 ranked it as 7th in the UK with 95% 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 Technocamp 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170323/e5a3252a/attachment-0001.html>