[Agda] 6 funded PhD studentships at the Department of Computer Science, Swansea University, UK

[Anton Setzer]

Swansea has a fast growing group in type theory (Anton Setzer, Ulrich
Berger,
Monika Seisenberger, and several PhD students) and several Agda users
(Anton Setzer and his PhD students),
and our group welcomes applications for the following studentships:

******************************************************************

Six PhD studentships are available in Computer Science at Swansea
University, with funding of up to 12,940 GBP stipend plus fees.
UK candidates are eligible to apply for all six studentships.

     *****************************************
     * Overseas and EU candidates ARE eligible
     * for some of the studentships!
     *****************************************

Potential candidates should preferably have a first-class
Bachelor's degree in Computer Science or a cognate discipline,
or an equivalent qualification.

To ensure consideration for an award, please apply to the
University for admission as a PhD student in Computer Science:

     http://www.swan.ac.uk/postgraduate/apply/

     ************************
     Deadline: 15th June 2009
     ************************

Separate application for an award is NOT required.  Candidates
should however discuss possible topics with potential supervisors
before the end of June.  Queries may be addressed to
Dr Arnold Beckmann <a.beckmann at swansea.ac.uk>.

Decisions concerning awards are expected by mid-July.

Computer Science at Swansea University offers an active and
stimulating research atmosphere for PhD students, with
internationally-leading research groups in Theory, Graphics
and HCI.  For further details of our research, see:

     http://www.swan.ac.uk/compsci/research/

In RAE 2008, 70% of the research submitted by the department was
assessed as either world-leading or internationally excellent;
only 12 Computer Science departments throughout the UK achieved
a higher percentage.


-- 
---------------------------------------
Anton Setzer
Department of Computer Science
Swansea University
Singleton Park
Swansea SA2 8PP
UK

Telephone:
(national)        (01792) 513368
(international) +44 1792  513368
Fax:
(national)        (01792) 295708
(international) +44 1792  295708
Visiting address:
Faraday Building,
Computer Science Dept.
2nd floor, room 211.
Email: a.g.setzer at swan.ac.uk
WWW:
http://www.cs.swan.ac.uk/~csetzer/
---------------------------------------