[Agda] Postdoc positions and lectureships in Swansea (suitable for Agda people; deadlines 22/12/15 and 5/1/16)

[Anton Setzer]

Dear all,

In Swansea we have 2 lectureships (closing date very soon: 22/12/15) and 
10 three year postdoc
positions available (deadline for expression of interest 5/1/16)
I would be very keen on getting people related to my research area which 
of course includes
Agda for these positions.

Details are as follows:


* Up to 2 permanent Lectureships in Computer Security. While the 
lectureships aim at Computer Security in general,
this might be an opportunity for researchers working on applications of 
Logic in Computer Security.

http://www.swansea.ac.uk/personnel/jobs/details.php?nPostingID=2756&nPostingTargetID=4869&option=52&sort=DESC&respnr=1&ID=QHUFK026203F3VBQB7VLO8NXD&JOBADLG=UK&Resultsperpage=20&lg=UK&mask=suext

http://www.swansea.ac.uk/compsci/


* 10 three-years postdoctoral fellowships across a wide range of science 
and technology disciplines. The Theoretical Computer Science Group 
offers projects in Computability, Specification, Proof Theory, 
Complexity and Verification. See our research portfolio at

http://www.swansea.ac.uk/compsci/researchandimpact/researchgroups/theory/

important restrictions on candidates for the postdoc positions (full 
details are below)

* 3 - 5 years post PhD
* not been resident in the UK for more than 12 months in last three years
* Fellowships will normally be 3 years in length
* can involve collaboration with a relevant commercial partner.
* 
http://expertisewales.com/marie-sk%C5%82odowska-curie-actions-cofund-fellowship-scheme

Please contact members of our group directly if you are interest in a 
particular topic.

Deadline for Expression of Interest: 5 January 2016
Full Application: 1 March 2016

Further details about the fellowships, including eligibility criteria, 
are below.

SWANSEA UNIVERSITY EXCITING FELLOWSHIP OPPORTUNITIES

Strengthening International Research Capacity in Wales (SIRCIW) 
Fellowships hosted by Swansea University Swansea University’s, College 
of Science, is delighted to announce 10 SIRCIW postdoctoral fellowships 
across a wide range of science and technology disciplines to the highest 
calibre candidates.

The SIRCIW fellowship scheme, part of the Chief Scientific Adviser for 
Wales’ strategy to increase research capacity in Wales, will enable 
talented ‘rising star’ researchers, with a minimum 3 to 5 years 
post-doctoral research experience, to:-

  * Work with leading international scholars in Swansea’s, College of 
Science;
  * Receive excellent research supervision;
  * Have access to the latest facilities and resources, and involvement 
in world-leading joint research projects;
  * Collaborate with commercial partner where appropriate;
  * Spend time as an academic in Wales, linking up with extensive 
international networks and collaborations.

These prestigious 3 year fellowships are jointly funded by Swansea 
University, the European Commission - H2020, Marie Sklodowska Curie 
Action COFUND award and the Welsh Government.

Through SIRCIW, Swansea is seeking to attract talented experienced 
researchers with the potential to be research leaders of the future.  It 
is anticipated fellowships will start in autumn 2016.

FELLOW ELIGIBILITY CRITERIA

  * Researchers may be of Any Nationality
  * Cannot have been resident in the UK for more than 12 months in the 
last three years
  * Submit a Science and/ or Technology relevant joint fellowship 
application with Swansea University to the Chief Scientific Adviser for 
Wales Office.

APPLICATION PROCESS

2 stage process, to be completed in English:

1. Expression of Interest, EoI, submitted to the Deapartment of Computer 
Science, Swansea University by Tuesday 5th January
2. Full Application (supervisor form, ethics form, and CV) submitted to 
CSAW office by Tuesday 1st March 2016.

Interested applicants are encouraged to make early contact with a 
potential Department of Computer Science Supervisor.  To initiate 
informal discussions please forward:-

  * Recent successful research proposal
  * Current C.V. & Research/ career history
  * Proposed Research Topic Area
  * Likely Impact
  * Referee Details

FURTHER INFORMATION:

Department of Computer Science, Swansea University
    http://www.swansea.ac.uk/compsci/
College of Science, Swansea University
    http://www.swansea.ac.uk/science/
SIRCIW fellowship scheme can be found at
    http://expertisewales.com/support-and-funding-researchers