[Agda] Logic related PhD studentships available in Swansea, UK

[Anton Setzer]

Swansea has a strong group in logic and theoretical computer science
and we have an active group involved in Agda.
Some of the following studentships for students in this area.

Please apply.

More details can be found at
http://www.swan.ac.uk/compsci/research/postgraduate.html

---------------------------------------------------------

At least four new PhD studentships are expected to be available in
Computer Science at Swansea University in 2011.

     *****************************
     Please apply by 31 May 2011 !
     *****************************

Two of the confirmed studentships are linked to specific research
projects; the others will be awarded for PhD studies in any of our
main research areas: Graphics, HCI and Theory.

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


DOCTORAL TRAINING GRANTS
========================

EPSRC Doctoral Training Grants will fund up to two PhD
studentships with an annual stipend of 13,590 GBP plus
UK/EU-level tuition fees.

Only UK-resident candidates are eligible for the full
studentships; other EU-nationals are eligible for fees-only awards.
See http://www.epsrc.ac.uk/funding/students/Pages/eligibility.aspx
for the precise residency requirements.


UNIVERSITY PROJECT STUDENTSHIP - VISUALISING THE PAST
=====================================================

This joint PhD studentship with History represents an exciting
opportunity to become involved with a project exploring the
ways in which digital technologies can be used to represent,
explain, and interpret the past.  The 'Visualising the Past'
project focuses in particular on how the past (historical
and archaeological) can be visualised through graphics,
visualisations, animations, and the use of hand-held mobile
technologies.

Further details of this studentship are available at:

     
http://www.swansea.ac.uk/scholarships/research/whoiseligible,57506,en.php

Only UK/EU students are eligible. Computer Science candidates
who wish to be considered for it should indicate so on the
University application form, and contact Professor Matt Jones
<mattjonez at gmail.com> before applying.


EPSRC PROJECT STUDENTSHIP -- PLANCOMPS:
PROGRAMMING LANGUAGE COMPONENTS AND SPECIFICATIONS
==================================================

This PhD studentship is linked to the PLanCompS project, which
will establish and test the practicality of a component-based
framework for the design, specification and implementation of
programming languages. The student is to carry out foundational
research related to the semantic specification frameworks used
in the project, and will be supervised by Professor Peter Mosses.

Further details of this studentship are available at:

     
http://www.swansea.ac.uk/scholarships/research/whoiseligible,58266,en.php

All candidates (UK, EU and overseas) are eligible. Candidates
who wish to be considered for it should indicate so on the
University application form, and contact Professor Peter Mosses
<P.D.Mosses at swansea.ac.uk> before applying. The 1-2 page
supplementary personal statement submitted with the application
form should include a brief overview of any previous studies
related to the foundations of programming languages.


COLLEGE OF SCIENCE AWARDS
=========================

The recently-formed College of Science is expected to award
additional PhD studentships in 2011. These will be announced
separately at:

     http://www.swansea.ac.uk/scholarships/research/


APPLICATIONS
============

Potential candidates should have a first or upper-second (2:1)
class honours degree (or equivalent) in Computer Science or a
closely related area, or a higher qualification.

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

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

     *********************
     Deadline: 31 May 2011
     *********************

Applications received after the deadline may be disregarded in
connection with awards of studentships. Candidates are recommended
to discuss possible topics with potential supervisors before
applying. Separate application for an award is NOT required.
Decisions concerning the studentships linked to specific projects
are expected by mid-June, and the rest by mid-July.

Information about tuition fees can be found at

     http://www.swansea.ac.uk/international/money/ScholarshipsandFees/

General queries may be addressed to Dr Oliver Kullmann
<o.kullmann at swansea.ac.uk>.

The Department of Computer Science in the College of Science
at Swansea University offers an active and stimulating research
atmosphere for PhD students, with internationally-leading
research groups in Graphics, HCI and Theory. 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 of world-leading research. For further details
of our research, see:

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

---------------------------------------------------------



-- 
---------------------------------------
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/
---------------------------------------